TY  - BOOK
AU  - Burkart, Olaf
TI  - Automatic verificaton of sequential infinite-state processes
SN  - 3540639829
CY  - Berlin
ER  -