TY  - BOOK
AU  - Mcmillan, Kenneth L.
TI  - Symbolic model checking
SN  - 0792393805
U1  - 621.392 
PY  - 1993///
CY  - Boston
PB  - Kluwer Academic
KW  - Electronic digital computers -- Circuits -- Design -- Data processing
KW  - Symbolic circuit analysis -- Data processing
KW  - Logic design -- Data processing
ER  -