TY  - BOOK
AU  - Banieqbal,B.
AU  - Barringer, H.
AU  - Pnueli,A.
TI  - Temporal logic in specification: Altrincham, UK, April 8-10, 1987
SN  - 0387518037
PY  - 1989///
CY  - Berlin
PB  - Springer-Verlag
KW  - System design
KW  - Logic, Symbolic and mathmatical
N1  - Includes bibliographical references
ER  -