- LNCS575
- -K.G. Larsen/A. Skou (Eds.): Computer Aided Verification, Proceedings 1991, Springer-Verlag 1992
Acronyms. 2013.
LNCS575
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS575 — K.G. Larsen/A. Skou (Eds.): Computer Aided Verification, Proceedings 1991, Springer Verlag 1992 … Acronyms von A bis Z
