Decomposition-Based Verification of Cyclic Workflows.

Yongsun Choi J. Leon Zhao Decomposition-Based Verification of Cyclic Workflows. 84-98 2005 conf/atva/2005 ATVA http://dx.doi.org/10.1007/11562948_9 db/conf/atva/atva2005.html#ChoiZ05