TY  - BOOK
AU  - Manna, Zohar
TI  - Temporal verification of reactive systems: safety
SN  - 0-387-94459-1.
U1  - 005.2 
PY  - 2003///
CY  - New York
PB  - Springer
ER  -