A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows.

Vahid Rafe, Adel Torkaman Rahmani

Browse the full CSICC paper archive.