- LNCS1102
- -R. Alur/T.A. Henzinger (Eds.): Computer Aided Verification, Springer-Verlag Proceedings 1996
Acronyms. 2013.
LNCS1102
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS1102 — R. Alur/T.A. Henzinger (Eds.): Computer Aided Verification, Springer Verlag Proceedings 1996 … Acronyms von A bis Z
