Zhaoxia Wang, Lijie Wen, Xiaochen Zhu, Yingbo Liu, Jianmin Wang 0001. Detecting Infeasible Traces in Process Models. In Leszek A. Maciaszek, Alfredo Cuzzocrea, José Cordeiro, editors, ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 3, Wroclaw, Poland, 28 June - 1 July, 2012. pages 212-217, SciTePress, 2012.
Abstract is missing.