- LNCS863
- -H. Langmaack/W.-P. de Röver/J. Vytopil (Eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems. Proceedings 1994, Springer-Verlag 1994
Acronyms. 2013.
Acronyms. 2013.
LNCS863 — H. Langmaack/W. P. de Röver/J. Vytopil (Eds.): Formal Techniques in Real Time and Fault Tolerant Systems. Proceedings 1994, Springer Verlag 1994 … Acronyms von A bis Z