%0 Conference Paper %1 conf/aaai/NavehRJKVMS06 %A Naveh, Yehuda %A Rimon, Michal %A Jaeger, Itai %A Katz, Yoav %A Vinov, Michael %A Marcus, Eitan %A Shurek, Gil %B AAAI %D 2006 %I AAAI Press %K dblp %P 1720-1727 %T Constraint-Based Random Stimuli Generation for Hardware Verification. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2006.html#NavehRJKVMS06

@inproceedings{conf/aaai/NavehRJKVMS06, added-at = {2023-09-05T00:00:00.000+0200}, author = {Naveh, Yehuda and Rimon, Michal and Jaeger, Itai and Katz, Yoav and Vinov, Michael and Marcus, Eitan and Shurek, Gil}, biburl = {https://www.bibsonomy.org/bibtex/253aa5a890b839a2d2b439546bc6ef114/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2006}, ee = {http://www.aaai.org/Library/AAAI/2006/aaai06-287.php}, interhash = {8c79e53c4e880e7b9f8829b3271e33f8}, intrahash = {53aa5a890b839a2d2b439546bc6ef114}, keywords = {dblp}, pages = {1720-1727}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:13:30.000+0200}, title = {Constraint-Based Random Stimuli Generation for Hardware Verification.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2006.html#NavehRJKVMS06}, year = 2006 }