Gregory M. Provan
A Model-Based Diagnosis Framework for Distributed Embedded Systems
KR, 2002.
@inproceedings{KR-2002-Provan,
author = "Gregory M. Provan",
booktitle = "{Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning}",
isbn = "1-55860-554-1",
pages = "341--352",
publisher = "{Morgan Kaufmann}",
title = "{A Model-Based Diagnosis Framework for Distributed Embedded Systems}",
year = 2002,
}