TY  - BOOK
T1  - Temporal verification of reactive systems : safety
A1  - Manna, Zohar
A2  - Pnuieli, Amir
LA  - English
PP  - Nueva York
PB  - [S.n.]
YR  - 1995
ED  - 1a. ed.
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dun.52971
SN  - 0387944591
KW  - SISTEMAS REACTIVOS
ER  -