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

DOI10.1007/B93958zbMATH Open1028.00029OpenAlexW219731125MaRDI QIDQ1416837

Author name not available (Why is that?)

Publication date: 16 December 2003

Published in: (Search for Journal in Brave)

Full work available at URL: http://link.springer.de/link/service/series/0558/tocs/t2860.htm

No records found.

This page was built for publication: 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1416837)