Roger B. Hughes. CheckOff-M: model checking and its role in IP. In 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, pages 217, Chapman & Hall, 1997.
No references recorded for this publication.
No citations of this publication recorded.