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]
Abstract is missing.