%0 Conference Paper %1 conf/dsd/YangWGD13 %A Yang, Shuo %A Wille, Robert %A Große, Daniel %A Drechsler, Rolf %B DSD %D 2013 %I IEEE Computer Society %K %P 439-444 %T Minimal Stimuli Generation in Simulation-Based Verification. %U http://dblp.uni-trier.de/db/conf/dsd/dsd2013.html#YangWGD13 %@ 978-1-4799-2978-8

@inproceedings{conf/dsd/YangWGD13, added-at = {2023-12-14T15:55:40.000+0100}, author = {Yang, Shuo and Wille, Robert and Große, Daniel and Drechsler, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/2872734d05114ea51df68460d9a605eb0/admin}, booktitle = {DSD}, crossref = {conf/dsd/2013}, ee = {https://www.wikidata.org/entity/Q59242375}, interhash = {f148de81fbe73916893286bd64a25e93}, intrahash = {872734d05114ea51df68460d9a605eb0}, isbn = {978-1-4799-2978-8}, keywords = {}, pages = {439-444}, publisher = {IEEE Computer Society}, timestamp = {2023-12-14T15:55:40.000+0100}, title = {Minimal Stimuli Generation in Simulation-Based Verification.}, url = {http://dblp.uni-trier.de/db/conf/dsd/dsd2013.html#YangWGD13}, year = 2013 }