- LNCS531
- -E.M. Clarke/R.P. Kurshan (Eds.): Computer Aided Verification, Springer-Verlag Proceedings 1990
Acronyms. 2013.
LNCS531
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS531 — E.M. Clarke/R.P. Kurshan (Eds.): Computer Aided Verification, Springer Verlag Proceedings 1990 … Acronyms von A bis Z
