%0 Conference Paper %1 conf/isqed/QadeerT02 %A Qadeer, Shaz %A Tasiran, Serdar %B ISQED %D 2002 %I IEEE Computer Society %K dblp %P 381-387 %T Promising Directions in Hardware Design Verification (invited). %U http://dblp.uni-trier.de/db/conf/isqed/isqed2002.html#QadeerT02 %@ 0-7695-1561-4

@inproceedings{conf/isqed/QadeerT02, added-at = {2014-09-26T00:00:00.000+0200}, author = {Qadeer, Shaz and Tasiran, Serdar}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ffb4e16eb9c0700e005fa6d03ae08a6f/dblp}, booktitle = {ISQED}, crossref = {conf/isqed/2002}, ee = {http://doi.ieeecomputersociety.org/10.1109/ISQED.2002.996776}, interhash = {ab4def27a580aeb134b2027758ac453d}, intrahash = {ffb4e16eb9c0700e005fa6d03ae08a6f}, isbn = {0-7695-1561-4}, keywords = {dblp}, pages = {381-387}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T13:52:52.000+0100}, title = {Promising Directions in Hardware Design Verification (invited).}, url = {http://dblp.uni-trier.de/db/conf/isqed/isqed2002.html#QadeerT02}, year = 2002 }