Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling. Symbolic invariant verification for systems with dynamic structural adaptation. In Leon J. Osterweil, H. Dieter Rombach, Mary Lou Soffa, editors, 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006. pages 72-81, ACM, 2006. [doi]
@inproceedings{BeckerBGKS06,
title = {Symbolic invariant verification for systems with dynamic structural adaptation},
author = {Basil Becker and Dirk Beyer and Holger Giese and Florian Klein and Daniela Schilling},
year = {2006},
doi = {10.1145/1134297},
url = {http://doi.acm.org/10.1145/1134297},
researchr = {https://researchr.org/publication/BeckerBGKS06},
cites = {0},
citedby = {0},
pages = {72-81},
booktitle = {28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006},
editor = {Leon J. Osterweil and H. Dieter Rombach and Mary Lou Soffa},
publisher = {ACM},
isbn = {1-59593-375-1},
}