Alexandre Rousset, Alberto Bosio, Patrick Girard, Christian Landrault, Serge Pravossoudovitch, Arnaud Virazel. DERRIC: A Tool for Unified Logic Diagnosis. In 12th European Test Symposium (ETS 2007), 20 May 2007, Freiburg, Germany. pages 13-20, IEEE Computer Society, 2007. [doi]
Abstract is missing.