Symbolic Execution of Acyclic Workflow Graphs.

Cdric Favre, Hagen Vlzer

Browse the full BPM paper archive.