Acronyms. 2013.
LNCS1066 — R. Alur/T.A. Henzinger/E.D. Sontag (Eds.): Hybrid Systems III, Springer Verlag 1996 … Acronyms von A bis Z