- LNCS818
- -D. L. Dill (Ed.): Computer Aided Verification. Proceedings 1994, Springer-Verlag 1994
Acronyms. 2013.
LNCS818
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS818 — D. L. Dill (Ed.): Computer Aided Verification. Proceedings 1994, Springer Verlag 1994 … Acronyms von A bis Z
