- LNCS1019
- -E. Brinksma et al. (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, Selected Papers, Springer-Verlag 1995
Acronyms. 2013.
Acronyms. 2013.
LNCS1019 — E. Brinksma et al. (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, Selected Papers, Springer Verlag 1995 … Acronyms von A bis Z