摘要：
Jian Cao, Shen-sheng Zhang, Minglu Li, Jie Wang. Verification of Dynamic Process Model Change to Support the Adaptive Workflow [C]// The 2014 IEEE International Conference on Services Computing (SCC 2004), Shanghai, China, September 15-18, 2004: 255-261
