Yaqiong He, GuanJun Liu, Dongming Xiang, Jiaquan Sun, ChunGang Yan, Changjun Jiang. Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints. IEEE Access, 6:11412-11423, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.