| |
| 2008 | ||
|---|---|---|
| 3 | EE | Rujuan Liu, Changjun Hu, Chongchong Zhao, Zhong Gao: Verification for Time Consistency of Web Service Flow. ACIS-ICIS 2008: 624-629 |
| 2 | EE | Rujuan Liu, Guilan Dai, Changjun Hu, Chongchong Zhao: A Verification Method for Temporal Consistency of Service Flow. COMPSAC 2008: 1187-1192 |
| 1 | EE | Rujuan Liu, Changjun Hu, Chongchong Zhao: Model Checking for Web Service Flow Based on Annotated OWL-S. SNPD 2008: 741-746 |
| 1 | Guilan Dai | [2] |
| 2 | Zhong Gao | [3] |
| 3 | Changjun Hu | [1] [2] [3] |
| 4 | Chongchong Zhao | [1] [2] [3] |