Acronyms. 2013.
LNCS1201 — O. Maler (Ed.): Hybrid and Real Time Systems. Proceedings 1997, Springer Verlag 1997 … Acronyms von A bis Z