André Sülflow, Görschwin Fey, Cécile Braunstein, Ulrich Kühne, Rolf Drechsler. Increasing the Accuracy of SAT-based Debugging. In Carsten Gremzow, Nico Moser, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009. pages 47-56, Universitätsbibliothek Berlin, Germany, 2009.
@inproceedings{SulflowFBKD09-0, title = {Increasing the Accuracy of SAT-based Debugging}, author = {André Sülflow and Görschwin Fey and Cécile Braunstein and Ulrich Kühne and Rolf Drechsler}, year = {2009}, researchr = {https://researchr.org/publication/SulflowFBKD09-0}, cites = {0}, citedby = {0}, pages = {47-56}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009}, editor = {Carsten Gremzow and Nico Moser}, publisher = {Universitätsbibliothek Berlin, Germany}, }