Josef Hinterplattner;Heinrich Nirschl;Heinz Saria
-;-;-
Architecture-driven verification of concurrent systems
Nordic Journal of Computing
Representing architectural evolution
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research