Acronyms von A bis Z
LNCS398
-B. Banieqbal/H. Barringer/A. Pnüli (Eds.): Temporal Logic in Specification, Proceedings 1987, Springer-Verlag 1989
-B. Banieqbal/H. Barringer/A. Pnüli (Eds.): Temporal Logic in Specification, Proceedings 1987, Springer-Verlag 1989