TY  - BOOK
AU  - Manna, Zohar
TI  - Temporal verification of reactive systems : : safety / 
SN  - 9780387944593
U1  - 005.2 22
PY  - 1995///
CY  - New York : 
PB  - Springer, 
KW  - Parallel processing
N1  - Include Index
ER  -