Handling Cycles in Workflow Verification by Feedback Identification and Partition.

Yongsun Choi, J. Leon Zhao

Browse the full IKE paper archive.