Tiziana Margaria, Thomas F. Melham, editors, 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. Volume 2144 of Lecture Notes in Computer Science, Springer, 2001.
Conference: charme2001
@proceedings{charme:2001,
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},
year = {2001},
tags = {design research, design},
researchr = {https://researchr.org/publication/charme%3A2001},
cites = {0},
citedby = {0},
booktitle = {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},
conference = {charme},
editor = {Tiziana Margaria and Thomas F. Melham},
volume = {2144},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42541-1},
}