@inproceedings{SFBD:2008b,
author = {André Sülflow and Goerschwin Fey and Roderick Bloem and Rolf Drechsler},
title = {Debugging Design Errors by Using Unsatisfiable Cores.},
year = {2008},
pages = {159-168},
note = {gfey, CE},
isbn = {ISBN},
howpublished = {08-999 SFBD:2008b MBMV},
booktitle = {ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
doi = {DOI},
keywords = {keywords}
}

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