[IEEE 2009 Design, Automation & Test in Europe Conference & Exhibition (DATE'09) - Nice (2009.04.20-2009.04.24)] 2009 Design, Automation & Test in Europe Conference & Exhibition - Increasing the accuracy of SAT-based debugging
Sulflow, A., Fey, G., Braunstein, C., Kuhne, U., Drechsler, R.Year:
2009
Language:
english
DOI:
10.1109/date.2009.5090870
File:
PDF, 188 KB
english, 2009