TY  - BOOK
AU  - Robert B Jones
TI  - Symbolic Simulation Methods for Industrial formal Verification
SN  - 0000072159
U1  - 1.539 
PY  - 2002///
CY  - Boston
PB  - Kluwer
KW  -  Industrial
KW  -  Methods
KW  -  Simulation
KW  -  Symbolic
KW  -  Verification
KW  - Computer Science Engineering
KW  - formal
ER  -