TY  - BOOK
AU  - Manna,Zohar
AU  - Pnueli,Amir
TI  - The temporal logic of reactive and concurrent systems
SN  - 0387976647 (New York : v. 1)
U1  - 005.1 20
PY  - 1992///
CY  - New York
PB  - Springer-Verlag
KW  - Computer programming
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references (p. 389-401) and indexes
UR  - http://www.loc.gov/catdir/enhancements/fy0815/91028181-d.html
ER  -