Laurence Pierre, Thomas Kropf, editors, Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings. Volume 1703 of Lecture Notes in Computer Science, Springer, 1999.
Conference: charme1999
@proceedings{charme:1999, title = {Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings}, year = {1999}, tags = {design research, design}, researchr = {https://researchr.org/publication/charme%3A1999}, cites = {0}, citedby = {0}, booktitle = {Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings}, conference = {charme}, editor = {Laurence Pierre and Thomas Kropf}, volume = {1703}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-66559-5}, }