Acronyms von A bis Z
LNCS1055
-T. Margaria/B. Steffen (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, Springer-Verlag Proceedings 1996
-T. Margaria/B. Steffen (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, Springer-Verlag Proceedings 1996