A Divide-And-Conquer-Method for Computing Multiple Conflicts for Diagnosis.

Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz

Browse the full SAFEProcess paper archive.