TY  - DATA
AU  - Yuan,Jun
AU  - Pixley,Carl
AU  - Aziz,Adnan
ED  - SpringerLink (Online service)
TI  - Constraint-Based Verification
SN  - 9780387307848
AV  - Q340 . Y83 2006
PY  - 2006///
CY  - Boston, MA
PB  - Springer Science+Business Media, Inc.
KW  - Engineering
KW  - Computer aided design
KW  - Systems engineering
KW  - Circuits and Systems
KW  - Computer-Aided Engineering (CAD, CAE) and Design
KW  - Electronic and Computer Engineering
UR  - http://dx.doi.org/10.1007/0-387-30784-2
ER  -