@inproceedings{ICEIS-v3-2011-WangWWL,
	author        = "Zhaoxia Wang and Jianmin Wang and Lijie Wen and Guiming Luo",
	booktitle     = "{Proceedings of the 13th International Conference on Enterprise Information Systems, Volume 3}",
	isbn          = "978-989-8425-55-3",
	pages         = "139--144",
	publisher     = "{SciTePress}",
	title         = "{Formally Modeling and Analyzing Data-centric Workflow using WFCP-net and ASK-CTL}",
	year          = 2011,
}