TY  - BOOK
AU  - Schneider,Klaus
TI  - Verification of reactive systems: formal methods and algorithms 
T2  - Texts in theoretical computer science
SN  - 3540002960 (papel alcalino)
AV  - QA76.76V47 S34
PY  - 2004///
CY  - Berlin
PB  - Springer Verlag
KW  - Sistemas para computadoras
KW  - Verificación
KW  - Métodos formales (Computación)
KW  - Algoritmos computacionales
ER  -