%0 Book %1 books/daglib/0029051 %A Eggersglüß, Stephan %A Drechsler, Rolf %D 2012 %I Springer %K dblp %P I-XVIII, 1-193 %T High Quality Test Pattern Generation and Boolean Satisfiability. %@ 978-1-4419-9975-7

@book{books/daglib/0029051, added-at = {2019-06-02T00:00:00.000+0200}, author = {Eggersglüß, Stephan and Drechsler, Rolf}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/208dac067607cfdf70ba8ccf62e98b86e/dblp}, ee = {https://www.wikidata.org/entity/Q59242478}, interhash = {9cc781d14a40ba599e7a3adff06f8aa4}, intrahash = {08dac067607cfdf70ba8ccf62e98b86e}, isbn = {978-1-4419-9975-7}, keywords = {dblp}, pages = {I-XVIII, 1-193}, publisher = {Springer}, timestamp = {2019-09-27T12:21:21.000+0200}, title = {High Quality Test Pattern Generation and Boolean Satisfiability.}, year = 2012 }