Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation (bibtex)

Reference:

Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation (), 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},
PDF = {uploads/pdf/GSKBB06_Symbolic Invariant Verification for Systems with Dynamic Structural Adaption - Becker, Beyer, Giese, Klein, Schilling.pdf},
OPTacc_pdf = {}
}