Acronyms von A bis Z
LNCS1486
-A.P. Ravn/H. Rischel (Eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems. Proceedings, Springer-Verlag 1998
-A.P. Ravn/H. Rischel (Eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems. Proceedings, Springer-Verlag 1998