@inproceedings{ICEIS-v3-2012-WangWZLW,
	author        = "Zhaoxia Wang and Lijie Wen and Xiaochen Zhu and Yingbo Liu and Jianmin Wang",
	booktitle     = "{Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 3}",
	isbn          = "978-989-8565-12-9",
	pages         = "212--217",
	publisher     = "{SciTePress}",
	title         = "{Detecting Infeasible Traces in Process Models}",
	year          = 2012,
}