%0 Book %1 books/daglib/0010864 %A Iman, Sasan %A Joshi, Sunita %D 2004 %I Kluwer %K dblp %P I-XXII, 1-349 %T The e-Hardware Verification Language. %@ 978-1-4020-8023-4

@book{books/daglib/0010864, added-at = {2011-04-07T00:00:00.000+0200}, author = {Iman, Sasan and Joshi, Sunita}, biburl = {https://www.bibsonomy.org/bibtex/292534e814da90dd60c4ad1d1f82b2ab5/dblp}, interhash = {36cbb171706708f70dc228176683bf86}, intrahash = {92534e814da90dd60c4ad1d1f82b2ab5}, isbn = {978-1-4020-8023-4}, keywords = {dblp}, pages = {I-XXII, 1-349}, publisher = {Kluwer}, timestamp = {2011-04-29T15:26:28.000+0200}, title = {The e-Hardware Verification Language.}, year = 2004 }