Acronyms von A bis Z
LNCS571
-J. Vytopil (Ed.): Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings 1991, Springer-Verlag 1992
-J. Vytopil (Ed.): Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings 1991, Springer-Verlag 1992