Formally Modeling and Analyzing Data-centric Workflow using WFCP-net and ASK-CTL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Zhaoxia Wang' in GoogleThis author has not been identified. Look up 'Jianmin Wang 0001' in GoogleThis author has not been identified. Look up 'Lijie Wen' in GoogleThis author has not been identified. Look up 'GuiMing Luo' in Google

runs on WebDSL