%0 Conference Paper %1 conf/mtv/SinghS07 %A Singh, Gaurav %A Shukla, Sandeep K. %B MTV %D 2007 %E Abadir, Magdy S. %E Wang, Li-C. %E Bhadra, Jayanta %I IEEE Computer Society %K dblp %P 39-43 %T Model Checking Bluespec Specified Hardware Designs. %U http://dblp.uni-trier.de/db/conf/mtv/mtv2007.html#SinghS07 %@ 978-0-7695-3241-7

@inproceedings{conf/mtv/SinghS07, added-at = {2023-03-24T00:00:00.000+0100}, author = {Singh, Gaurav and Shukla, Sandeep K.}, biburl = {https://www.bibsonomy.org/bibtex/25fecd1eea331439c689edff373dc4f5c/dblp}, booktitle = {MTV}, crossref = {conf/mtv/2007}, editor = {Abadir, Magdy S. and Wang, Li-C. and Bhadra, Jayanta}, ee = {https://www.wikidata.org/entity/Q57526785}, interhash = {5af00d507ceb61526e99a73bdd9d041e}, intrahash = {5fecd1eea331439c689edff373dc4f5c}, isbn = {978-0-7695-3241-7}, keywords = {dblp}, pages = {39-43}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T13:49:47.000+0200}, title = {Model Checking Bluespec Specified Hardware Designs.}, url = {http://dblp.uni-trier.de/db/conf/mtv/mtv2007.html#SinghS07}, year = 2007 }