TY  - BOOK
AU  - Yuan,Jun
AU  - Pixley,Carl
AU  - Aziz,Adnan
ED  - SpringerLink (Online service)
TI  - Constraint-Based Verification
SN  - 9780387307848 (electronic bk.)
AV  - Q340 .Y83 2006
U1  - 005.115 22
PY  - 2006///
CY  - Boston, MA
PB  - Springer Science+Business Media, Inc.
KW  - Constraints (Artificial intelligence)
KW  - Digital electronics
KW  - Testing
KW  - Electronic systems
KW  - Design and construction
KW  - Engineering
KW  - Electronic and Computer Engineering
KW  - Computer-Aided Engineering (CAD, CAE) and Design
KW  - Circuits and Systems
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/0-387-30784-2
ER  -