- LNCS398
- -B. Banieqbal/H. Barringer/A. Pnüli (Eds.): Temporal Logic in Specification, Proceedings 1987, Springer-Verlag 1989
Acronyms. 2013.
LNCS398
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS398 — B. Banieqbal/H. Barringer/A. Pnüli (Eds.): Temporal Logic in Specification, Proceedings 1987, Springer Verlag 1989 … Acronyms von A bis Z
