- LNCS1384
- -B. Steffen (Ed.): Tools and Algorithms for the Construction and Analysis of Systems. Proceedings, Springer-Verlag 1998
Acronyms. 2013.
Acronyms. 2013.
LNCS1384 — B. Steffen (Ed.): Tools and Algorithms for the Construction and Analysis of Systems. Proceedings, Springer Verlag 1998 … Acronyms von A bis Z