| 2009 | ||
|---|---|---|
| 3 | Zuohua Ding, Mingyue Jiang, Jing Liu: Model Checking Service Component Composition by SPIN. ACIS-ICIS 2009: 1029-1034 | |
| 2 | Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders: Modelling and Verification of Web Navigation. ICWE 2009: 181-188 | |
| 1 | Zuohua Ding, Mingyue Jiang: Port Based Reliability Computing for Service Composition. IEEE SCC 2009: 403-410 | |
| 1 | Zuohua Ding | [1] [2] [3] |
| 2 | Jing Liu | [3] |
| 3 | Geguang Pu | [2] |
| 4 | Jeff W. Sanders (Jeffrey W. Sanders) | [2] |