@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 = {it - Information Technology.},
year = {2009},
pages = {102-111},
note = {gfey, CE},
howpublished = {09-999 DEFT:2009b IT}
}

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