Pietro Torasso, Gianluca Torta. Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis. In Ulrich Furbach, editor, KI 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings. Volume 3698 of Lecture Notes in Computer Science, pages 176-190, Springer, 2005. [doi]
Abstract is missing.