%0 Conference Paper %1 conf/aspdac/YehH10 %A Yeh, Hu-Hsi %A Huang, Chung-Yang %B ASP-DAC %D 2010 %I IEEE %K dblp %P 613-618 %T Automatic constraint generation for guided random simulation. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2010.html#YehH10 %@ 978-1-60558-837-7

@inproceedings{conf/aspdac/YehH10, added-at = {2017-05-26T00:00:00.000+0200}, author = {Yeh, Hu-Hsi and Huang, Chung-Yang}, biburl = {https://www.bibsonomy.org/bibtex/25cc878f59f30a49b04ea53b602a2c91f/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2010}, ee = {http://dl.acm.org/citation.cfm?id=1899865}, interhash = {310c75e8895c46b6e07616e4a289fa6e}, intrahash = {5cc878f59f30a49b04ea53b602a2c91f}, isbn = {978-1-60558-837-7}, keywords = {dblp}, pages = {613-618}, publisher = {IEEE}, timestamp = {2019-10-17T16:46:10.000+0200}, title = {Automatic constraint generation for guided random simulation.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2010.html#YehH10}, year = 2010 }