Carlos M. Roman, Gary De Palma, Robert P. Kurshan. Model checking without hardware drivers. 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 127, Chapman & Hall, 1997.
No references recorded for this publication.
No citations of this publication recorded.