TY  - BOOK
AU  - Banieqbal, B. Ed.
AU  - Barringer, H. Ed.
AU  - Pnueli, A. Ed.
TI  - Temporal Logic in Specification: Proceedings, Altrincham, UK, 1987
SN  - 3540518037
CY  - Berlin
KW  - Temporal Logic
KW  - Specification
ER  -