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
| Other Authors: | |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2001
|