Increasing the Accuracy of SAT-based Debugging - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'André Sülflow' in GoogleThis author has not been identified. Look up 'Görschwin Fey' in GoogleThis author has not been identified. Look up 'Cécile Braunstein' in GoogleThis author has not been identified. Look up 'Ulrich Kühne' in GoogleThis author has not been identified. Look up 'Rolf Drechsler' in Google

runs on WebDSL