TY  - BOOK
AU  - McMillan, Kenneth L.,
TI  - Symbolic model checking
SN  - 0-7923-9380-5
AV  - TK7888.4 M45
PY  - 1993///
CY  - Boston
PB  - Kluwer Academic
KW  - Computadoras electronicas digitales
KW  - Circuitos
KW  - Diseño
KW  - Procesamiento de datos
KW  - Análisis simbólico de circuitos
KW  - Diseño lógico
ER  -