TY  - DATA
AU  - Foster,Harry
AU  - Krolnik,Adam
AU  - Lacey,David
ED  - SpringerLink (Online service)
TI  - Assertion-Based Design
SN  - 9781402080289
AV  - TK7874.75 F67 2005
PY  - 2005///
CY  - Boston, MA
PB  - Springer-Verlag US
KW  - Engineering
KW  - Computer aided design
KW  - Computer engineering
KW  - Systems engineering
KW  - Circuits and Systems
KW  - Electrical Engineering
KW  - Computer-Aided Engineering (CAD, CAE) and Design
UR  - http://dx.doi.org/10.1007/b117047
ER  -