Acronyms von A bis Z
LNCS1579
-W.R. Cleaveland (Ed.): Tools and Algorithms for the Construction of Analysis of Systems. Proceedings, Springer-Verlag 1999
-W.R. Cleaveland (Ed.): Tools and Algorithms for the Construction of Analysis of Systems. Proceedings, Springer-Verlag 1999