TY  - BOOK
TI  - Taxonomies for the development and verification of digital systems
SN  - 0387240195
PY  - 2005///
CY  - New York
PB  - Springer
KW  - Integrated circuits
KW  - Verification
KW  - Design and construction
KW  - Digital communications
ER  -