Model Checking for BPEL4WS with Time - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chunming Gao, Jin Li, Zhoujun Li, Huowang Chen. Model Checking for BPEL4WS with Time. In Kevin Chen-Chuan Chang, Wei Wang, Lei Chen 0002, Clarence A. Ellis, Ching-Hsien Hsu, Ah Chung Tsoi, Haixun Wang, editors, Advances in Web and Network Technologies, and Information Management, APWeb/WAIM 2007 International Workshops: DBMAN 2007, WebETrends 2007, PAIS 2007 and ASWAN 2007, Huang Shan, China, June 16-18, 2007, Proceedings. Volume 4537 of Lecture Notes in Computer Science, pages 528-533, Springer, 2007. [doi]

This author has not been identified. Look up 'Chunming Gao' in GoogleThis author has not been identified. Look up 'Jin Li' in GoogleThis author has not been identified. Look up 'Zhoujun Li' in GoogleThis author has not been identified. Look up 'Huowang Chen' in Google

runs on WebDSL