- LNCS1579
- -W.R. Cleaveland (Ed.): Tools and Algorithms for the Construction of Analysis of Systems. Proceedings, Springer-Verlag 1999
Acronyms. 2013.
Acronyms. 2013.
LNCS1579 — W.R. Cleaveland (Ed.): Tools and Algorithms for the Construction of Analysis of Systems. Proceedings, Springer Verlag 1999 … Acronyms von A bis Z