%0 Conference Paper %1 conf/aspdac/ChenAL05 %A Chen, Ying %A Abts, Dennis %A Lilja, David J. %B ASP-DAC %D 2005 %E Tang, Tingao %I ACM Press %K dblp %P 1196-1199 %T Efficiently generating test vectors with state pruning. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2005.html#ChenAL05 %@ 0-7803-8737-6

@inproceedings{conf/aspdac/ChenAL05, added-at = {2018-11-06T00:00:00.000+0100}, author = {Chen, Ying and Abts, Dennis and Lilja, David J.}, biburl = {https://www.bibsonomy.org/bibtex/20caa1ebacc4c1566ea9765b688dab9a4/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2005}, editor = {Tang, Tingao}, ee = {https://doi.org/10.1109/ASPDAC.2005.1466556}, interhash = {43117905e1d5d8c578d5a73549baccfe}, intrahash = {0caa1ebacc4c1566ea9765b688dab9a4}, isbn = {0-7803-8737-6}, keywords = {dblp}, pages = {1196-1199}, publisher = {ACM Press}, timestamp = {2019-10-17T16:43:15.000+0200}, title = {Efficiently generating test vectors with state pruning.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2005.html#ChenAL05}, year = 2005 }