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