TY  - BOOK
AU  - Drechsler, Rolf
TI  - Advanced formal verification
SN  - 9781402077210
U1  - 621.381548 DRE 
PY  - 2004///
CY  - Boston
PB  - Kluwer Academic Publishers
KW  - Decision trees
ER  -