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

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

No reviews for this publication, yet.