@article{DEFT:2009b,
Author = {Rolf Drechsler and Stephan Eggersglüß and Goerschwin Fey and Daniel Tille},
Title = {Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern.},
Journal = {<em>it - Information Technology</em>.},
Year = {(2009).},
Pages = {102-111},
Note = {gfey, CE},
Howpublished = {09-999 DEFT:2009b IT}
}

@COMMENT{Bibtex file generated on 2026-5-2 with typo3 si_bibtex plugin. Data from https://www.tuhh.de/es/home/publications }