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]
No references recorded for this publication.
No citations of this publication recorded.