Yiwang Huang, Zaiwen Feng, Keqing He, Songjin Xu. Compliance Analysis of Configurable Business Process Model Based on Extend CTL. In George Karypis, Jia Zhang, editors, 2017 IEEE International Congress on Big Data, BigData Congress 2017, Honolulu, HI, USA, June 25-30, 2017. pages 419-426, IEEE Computer Society, 2017. [doi]
Abstract is missing.