Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets).

Cdric Favre, Hagen Vlzer, Peter Mller

Browse the full TACAS paper archive.