TY  - BOOK
AU  - Drechsler,Rolf
TI  - Advanced formal verification
SN  - 1402077211 (papel alcalino)
AV  - TK7867 A38
PY  - 2004///
CY  - Boston
PB  - Kluwer Academic
KW  - Circuitos electrónicos
KW  - Pruebas
KW  - Árboles de decisión
ER  -