TY  - BOOK
AU  - Manna,Zohar
AU  - Pnueli,A.
TI  - Temporal verification of reactive systems: safety 
SN  - 0387944591 (papel libre de acido)
AV  - QA76.76V47 M35
U1  - 005.2 20
PY  - 1995///
CY  - New York
PB  - Springer Verlag
KW  - Software para computadora
KW  - Verificación
KW  - Procesamiento paralelo (Computadoras electrónicas)
ER  -