Design and Implementation of Diagnostic Strategies Using Modal Logic.

Peter Frhlich, Wolfgang Nejdl, Michael Schroeder

Browse the full JELIA paper archive.