Rujuan Liu

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Rujuan Liu, Changjun Hu, Chongchong Zhao
Model Checking for Web Service Flow Based on Annotated OWL-S. SNPD (2008)
Rujuan Liu, Guilan Dai, Changjun Hu, Chongchong Zhao
A Verification Method for Temporal Consistency of Service Flow. COMPSAC (2008)
Guilan Dai, Rujuan Liu, Chongchong Zhao, Changjun Hu
Timing Constraints Specification and Verification for Web Service Compositions. APSCC (2008)
Rujuan Liu, Changjun Hu, Chongchong Zhao, Zhong Gao
Verification for Time Consistency of Web Service Flow. ACIS-ICIS (2008)