Gregory M. Provan. A Model-Based Diagnosis Framework for Distributed Embedded Systems. In Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, Mary-Anne Williams, editors, Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002. pages 341-352, Morgan Kaufmann, 2002.
Abstract is missing.