On computing correct processes and repairs sing partial behavioral models.

Wolfgang Mayer, Gerhard Friedrich, Markus Stumptner

Browse the full ECAI paper archive.