Correct Hardware Design and Verification Methods‚ 11th IFIP WG 10.5 Advanced Research Working Conference‚ CHARME 2001‚ Livingston‚ Scotland‚ UK‚ September 4−7‚ 2001‚ Proceedings
- Publication date
- 1 January 2001
- Publisher
- 'Springer Fachmedien Wiesbaden GmbH'