@inproceedings{4b12fe94294142c7bf2e73df61ef4f29,
title = "Debugging Design Errors by Using Unsatisfiable Cores",
author = "Andre Suelflow and Goerschwin Fey and Bloem, {Roderick Paul} and Rolf Drechsler",
year = "2008",
language = "English",
isbn = "978-3-8322-6962-3",
pages = "159--168",
booktitle = "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen",
publisher = "Gesellschaft der Informatik",
note = "Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen ; Conference date: 03-03-2008 Through 05-03-2008",
}