TY  - BOOK
AU  - Jones,Robert B.
TI  - Symbolic Simulation Methods for Industrial Formal Verification
SN  - 9781402071034
U1  - 621.395 
PY  - 2002///
PB  - Springer Science & Business Media
KW  - Computers
ER  -