- LNCS1633
- -N. Halbwachs/D. Peled (Eds.): Computer Aided Verification. Proceedings, Springer-Verlag 1999
Acronyms. 2013.
LNCS1633
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS1633 — N. Halbwachs/D. Peled (Eds.): Computer Aided Verification. Proceedings, Springer Verlag 1999 … Acronyms von A bis Z
