Acronyms von A bis Z
LNCS1019
-E. Brinksma et al. (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, Selected Papers, Springer-Verlag 1995
-E. Brinksma et al. (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, Selected Papers, Springer-Verlag 1995