- LNCS1254
- -0. Grumberg (Ed.): Computer Aided Verification. Proceedings, Springer-Verlag 1997
Acronyms. 2013.
LNCS1254
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS1254 — 0. Grumberg (Ed.): Computer Aided Verification. Proceedings, Springer Verlag 1997 … Acronyms von A bis Z
