TY  - GEN
AU  - Bailey,Brian
AU  - Anderson,Thomas
AU  - Martin,Grant
ED  - SpringerLink (Online service)
TI  - Taxonomies for the Development and Verification of Digital Systems(E-BOOK)
SN  - 978-0-387-24021-3
U1  - 621.382 
PY  - 2005///
CY  - Boston, MA
PB  - Springer Science+Business Media, Inc.
KW  - Circuits and Systems
KW  - Computer aided design
KW  - Computer-Aided Engineering (CAD, CAE) and Design
KW  - Electronic and Computer Engineering
KW  - Electronics
KW  - Electronics and Microelectronics, Instrumentation
KW  - Engineering
KW  - Logic design
KW  - Logic Design
KW  - Systems engineering
KW  - Telecommunications engineering - (E-BOOK)
KW  - Taxonomies for the Development and Verification of Digital Systems(E-BOOK)
UR  - http://dx.doi.org/10.1007/b104217
UR  - http://link.libris.kb.se/sfxcthb?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000227668&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxhib?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000227668&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxkth?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000227668&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxlaub?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000227668&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxmah?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000227668&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxsub?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000227668&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxumub?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000227668&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://link.libris.kb.se/sfxuub?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000227668&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
UR  - http://sfxeu05.hosted.exlibrisgroup.com/46LUB?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000227668&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
ER  -