Luca Console, Claudia Picardi, Marina Ribaudo. Diagnosis and Diagnosability Analysis Using PEPA. In Werner Horn, editor, ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000. pages 131-135, IOS Press, 2000.
Abstract is missing.