- LNCS1601
- -J.-P. Katön (Ed.): Formal Methods for Real-Time and Probabilistic Systems. Proceedings, Springer-Verlag 1999
Acronyms. 2013.
LNCS1601
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS1601 — J. P. Katön (Ed.): Formal Methods for Real Time and Probabilistic Systems. Proceedings, Springer Verlag 1999 … Acronyms von A bis Z
