Static analysis of BPMN-based process-driven applications.

Konrad Schneid, Claus A. Usener, Sebastian Thne, Herbert Kuchen, Christian Tophinke

Browse the full SAC paper archive.