%0 Conference Paper %1 conf/latw/DrechslerDEW13 %A Drechsler, Rolf %A Diepenbeck, Melanie %A Eggersglüß, Stephan %A Wille, Robert %B LATW %D 2013 %I IEEE Computer Society %K %P 1 %T PASSAT 2.0: A multi-functional SAT-based testing framework. %U http://dblp.uni-trier.de/db/conf/latw/latw2013.html#DrechslerDEW13 %@ 978-1-4799-0597-3

@inproceedings{conf/latw/DrechslerDEW13, added-at = {2023-12-13T10:26:38.000+0100}, author = {Drechsler, Rolf and Diepenbeck, Melanie and Eggersglüß, Stephan and Wille, Robert}, biburl = {https://www.bibsonomy.org/bibtex/20a6b86a31a0a3f51d8a92a11225a12f6/admin}, booktitle = {LATW}, crossref = {conf/latw/2013}, ee = {https://www.wikidata.org/entity/Q59242382}, interhash = {d77649b191b754313f95c709a9ae8787}, intrahash = {0a6b86a31a0a3f51d8a92a11225a12f6}, isbn = {978-1-4799-0597-3}, keywords = {}, pages = 1, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T10:26:38.000+0100}, title = {PASSAT 2.0: A multi-functional SAT-based testing framework.}, url = {http://dblp.uni-trier.de/db/conf/latw/latw2013.html#DrechslerDEW13}, year = 2013 }