Specification and Verification of Artifact Behaviors in Business Process Models.

Cagdas E. Gerede, Jianwen Su

Browse the full ICSOC paper archive.