TY  - BOOK
A1  - Daniel Geist, Enrico Tronci, )Eds.(
TI  - Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101386123
UR  /book/101386123/Correct-hardware-design-and-verification-methods/
ER  -