Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation (bibtex)
by , , , ,
Reference:
Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation (Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling), In Proc. of the 28th International Conference on Software Engineering (ICSE), Shanghai, China, ACM Press, 2006.
Bibtex Entry:
@InProceedings{GSKBB06,
AUTHOR = {Becker, Basil and Beyer, Dirk and Giese, Holger and Klein, Florian and Schilling, Daniela},
TITLE = {{Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation}},
YEAR = {2006},
BOOKTITLE = {Proc. of the 28th International Conference on Software Engineering (ICSE), Shanghai, China},
PUBLISHER = {ACM Press}
}
Powered by bibtexbrowser