Zhaoxia Wang, Jianmin Wang 0001, Lijie Wen, GuiMing Luo. Formally Modeling and Analyzing Data-centric Workflow using WFCP-net and ASK-CTL. In Runtong Zhang, José Cordeiro, Xuewei Li, Zhenji Zhang, Juliang Zhang, editors, ICEIS 2011 - Proceedings of the 13th International Conference on Enterprise Information Systems, Volume 3, Beijing, China, 8-11 June, 2011. pages 139-144, SciTePress, 2011.
@inproceedings{WangWWL11,
title = {Formally Modeling and Analyzing Data-centric Workflow using WFCP-net and ASK-CTL},
author = {Zhaoxia Wang and Jianmin Wang 0001 and Lijie Wen and GuiMing Luo},
year = {2011},
researchr = {https://researchr.org/publication/WangWWL11},
cites = {0},
citedby = {0},
pages = {139-144},
booktitle = {ICEIS 2011 - Proceedings of the 13th International Conference on Enterprise Information Systems, Volume 3, Beijing, China, 8-11 June, 2011},
editor = {Runtong Zhang and José Cordeiro and Xuewei Li and Zhenji Zhang and Juliang Zhang},
publisher = {SciTePress},
isbn = {978-989-8425-55-3},
}