TY  - BOOK
AU  - Burkart,Olaf
TI  - Automatic verification of sequential infinite-state proceses
SN  - 3540639829
AV  - QA76.76 V47 B87
PY  - 1997///
CY  - Berlin
PB  - Springer
KW  - Computer software
KW  - Verification
KW  - Software engineering
ER  -