TY  - BOOK
AU  - McMillan Kenneth L
TI  - Symbolic model checking
SN  - 0-7923-9380-5
U1  - 621.392 
PY  - 1993///
CY  - Boston
PB  - Kluwer Academic
KW  - Data processing
KW  - Electronic digital computers-circuits-design
KW  - Logic design
KW  - Symbolic circuit analysis
ER  -