Hon F. Li, David K. Probst, editors, Advances in Hardware Design and Verification, IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods, 16-18 October 1997, Montréal, Québec, Canada. Volume 105 of IFIP Conference Proceedings, Chapman & Hall, 1997.
Conference: charme1997
@proceedings{charme:1997,
title = {Advances in Hardware Design and Verification, IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods, 16-18 October 1997, Montréal, Québec, Canada},
year = {1997},
tags = {design},
researchr = {https://researchr.org/publication/charme%3A1997},
cites = {0},
citedby = {0},
booktitle = {Advances in Hardware Design and Verification, IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods, 16-18 October 1997, Montréal, Québec, Canada},
conference = {charme},
editor = {Hon F. Li and David K. Probst},
volume = {105},
series = {IFIP Conference Proceedings},
publisher = {Chapman & Hall},
isbn = {0-412-81330-0},
}