Xiao Liu, Yun Yang. Workflow temporal verification: an efficient and effective approach for delivering on-time completion. In He Zhang, LiGuo Huang, Ita Richardson, editors, International Conference on Software and Systems Process 2014, ICSSP '14, Nanjing, China - May 26 - 28, 2014. pages 198, ACM, 2014. [doi]
Abstract is missing.