TY  - BOOK
AU  - Jones, Robert B.
TI  - Symbolic simulation methods for industrial formal verification
SN  - 9781402071034
U1  - 621.395 
PY  - 2002///
CY  - Norwell
PB  - Kluwer Academic Publishers
KW  - Mechanical engineering
N1  - Includes bibliographical references and index; N. E. Books, Silchar
ER  -