Dennis Klar, Michaela Huhn. Partial Order Algorithms for Model-based Diagnosis of Discrete Event Systems. In Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz, editors, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Volume 2009-01 of Informatik-Bericht, pages 103-114, TU Braunschweig, Institut für Software Systems Engineering, 2009. [doi]
Abstract is missing.