|
|
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
infobook title | 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 |
editor | Tiziana Margaria and Thomas F. Melham |
isbn | 3-540-42541-1 |
publisher | Springer |
series | Lecture Notes in Computer Science |
volume | 2144 |
year | 2001 |
links
BibTeX
related pages
|
|
|
|
