Decomposition-Based Verification of Cyclic Workflows.

Yongsun Choi, J. Leon Zhao

Browse the full ATVA paper archive.