Acronyms von A bis Z
LNCS891
-C. Lewerentz/T. Lindner (Eds.): Formal Development of Reactive Systems, Springer-Verlag 1995
-C. Lewerentz/T. Lindner (Eds.): Formal Development of Reactive Systems, Springer-Verlag 1995