%0 Conference Paper %1 conf/cp/NavehE05 %A Naveh, Yehuda %A Emek, Roy %B CP %D 2005 %E van Beek, Peter %I Springer %K dblp %P 882-882 %T Random Stimuli Generation for Functional Hardware Verification as a CP Application. %U http://dblp.uni-trier.de/db/conf/cp/cp2005.html#NavehE05 %V 3709 %@ 3-540-29238-1

@inproceedings{conf/cp/NavehE05, added-at = {2017-05-17T00:00:00.000+0200}, author = {Naveh, Yehuda and Emek, Roy}, biburl = {https://www.bibsonomy.org/bibtex/25cadabd1e99f283c4a82b5c6dc37b6ce/dblp}, booktitle = {CP}, crossref = {conf/cp/2005}, editor = {van Beek, Peter}, ee = {https://doi.org/10.1007/11564751_120}, interhash = {40d5c739cbc67ab2f59640d90f3c15ac}, intrahash = {5cadabd1e99f283c4a82b5c6dc37b6ce}, isbn = {3-540-29238-1}, keywords = {dblp}, pages = {882-882}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:19:17.000+0200}, title = {Random Stimuli Generation for Functional Hardware Verification as a CP Application.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2005.html#NavehE05}, volume = 3709, year = 2005 }