McMillan, Kenneth L., <br/><br/>
Symbolic model checking / 
by Kenneth L. McMillan 
 - xv, 194 páginas 
<br/><br/><label>ISBN: </label>0-7923-9380-5 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computadoras electronicas digitales--Circuitos--Diseño--Procesamiento de datos<br/>Análisis simbólico de circuitos--Procesamiento de datos<br/>Diseño lógico--Procesamiento de datos
<br/><br/><label>LC Class. No.: </label>TK7888.4  / M45