- LNCS891
- -C. Lewerentz/T. Lindner (Eds.): Formal Development of Reactive Systems, Springer-Verlag 1995
Acronyms. 2013.
Acronyms. 2013.
LNCS891 — C. Lewerentz/T. Lindner (Eds.): Formal Development of Reactive Systems, Springer Verlag 1995 … Acronyms von A bis Z