Dynamic Workflow Modeling and Verification.

Jiacun Wang, Daniela Rosca

Browse the full CaiSE paper archive.