<?xml version="1.0"?>
<dblp>
<article key="journals/dt/KrishnamurthyAMA01" mdate="2004-11-17">
<author>Narayanan Krishnamurthy</author>
<author>Magdy S. Abadir</author>
<author>Andrew K. Martin</author>
<author>Jacob A. Abraham</author>
<title>Design and Development Paradigm for Industrial Formal Verification CAD Tools.</title>
<pages>26-35</pages>
<year>2001</year>
<volume>18</volume>
<journal>IEEE Design &amp; Test of Computers</journal>
<number>4</number>
<ee>http://doi.ieeecomputersociety.org/10.1109/54.936246</ee>
<url>db/journals/dt/dt18.html#KrishnamurthyAMA01</url>
</article>
</dblp>
