Acronyms von A bis Z
LNCS331
-M. Joseph (Ed.): Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings 1988, Springer-Verlag 1988
-M. Joseph (Ed.): Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings 1988, Springer-Verlag 1988