TY  - BOOK
AU  - Yuan, Jun
AU  - Aziz, Adnan
AU  - Pixley, Carl
TI  - Constraint-Based Verification
SN  - 9780387259475
U1  - 005.115 YUA 
PY  - 2006///
CY  - New York
PB  - Springer
KW  - Electronic systems - Design and construction
KW  - Electronic systems - Testing
KW  - Digital electronics - Testing
KW  - Constraints (Artificial intelligence)
N1  - <p>Table of Contents:</p>

<p>1. Introd
ER  -