TY  - BOOK
AU  - Larsen, K
AU  - Skou, A
TI  - Computer aided verification
SN  - 3540551794
PY  - 1991///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer verification
ER  -