- LNCS1055
- -T. Margaria/B. Steffen (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, Springer-Verlag Proceedings 1996
Acronyms. 2013.
Acronyms. 2013.
LNCS1055 — T. Margaria/B. Steffen (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, Springer Verlag Proceedings 1996 … Acronyms von A bis Z