TY  - BOOK
AU  - Manna, Zohar
TI  - Temporal Verification Of Reactive Systems: Safety
SN  - 9780387944593
U1  - 4.0151 
PB  - Springer
ER  -