Acronyms von A bis Z
LNCS1135
-B. Jonsson/J. Parrow (Eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems. Proceedings 1996, Springer-Verlag 1996
-B. Jonsson/J. Parrow (Eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems. Proceedings 1996, Springer-Verlag 1996