TY  - BOOK
AU  - Manna Zohar
AU  - Pnueli Amir
TI  - Temporal logic of reactive and concurrent systems
SN  - 0-387-97664-7
U1  - 005.131 
PY  - 1992///
CY  - N Y
PB  - Springer Verlag
KW  - Computer science
KW  - Concurrent systems
KW  - Temporal logic
ER  -