TY  - BOOK
AU  - Burkart,Olaf
TI  - Automatic verification of sequential infinite-state processes
T2  - Lecture notes in computer science
SN  - 3540601171 (rustica : papel alcalino)
AV  - QA76.76V47 B87
U1  - 005.1/4 21
PY  - 1998///
CY  - New York
PB  - Springer Verlag
KW  - Software para computadora
KW  - Verificación
KW  - Ingeniería de software
N1  - Incluye referencias bibliograficas e indices
ER  -