Theocharis Tsigkritis, George Spanoudakis. A Temporal Abductive Diagnostic Process for Runtime Properties Violations. In Thomas Roth-Berghofer, Stefan Schulz, David B. Leake, Daniel Bahls, editors, Explanation-aware Computing, Papers from the 2008 ECAI Workshop, Patras, Greece, July 21-22, 2008. University of Patras. pages 49-60, 2008.
Abstract is missing.