TY  - BOOK
AU  - Brian Bailey, Grant Martin, Thomas Anderson
TI  - Taxonomies for the Development and Verification of Digital Systems
SN  - 978-0-387-24021-3
PY  - 2005///
CY  - New York
PB  - Springer US
KW  - Circuits and Systems; Electronics and Microelectronics, Instrumentation; Logic Design; Electrical Engineering; Computer-Aided Engineering (CAD, CAE) and Design
ER  -