- LNCS1427
- -A.J. Hu, M.Y. Vardi (Eds.), Computer Aided Verification. Proceedings, Springer-Verlag 1998
Acronyms. 2013.
LNCS1427
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS1427 — A.J. Hu, M.Y. Vardi (Eds.), Computer Aided Verification. Proceedings, Springer Verlag 1998 … Acronyms von A bis Z
