<?xml version="1.0"?>
<dblp>
<incollection key="books/crc/IIR2005/GuptaBM05" mdate="2007-06-21">
<author>Aarti Gupta</author>
<author>Ali Alphan Bayazit</author>
<author>Yogesh S. Mahajan</author>
<title>Verification Languages.</title>
<pages>1-18</pages>
<year>2005</year>
<crossref>books/crc/IIR05</crossref>
<booktitle>The Industrial Information Technology Handbook</booktitle>
<url>db/books/collections/IITHandbook2005.html#GuptaBM05</url>
</incollection>
</dblp>
