| |
| 2008 | ||
|---|---|---|
| 2 | EE | Junhua Zhang, Zhiqiu Huang, Zining Cao, Fangxiong Xiao: Counterexample Generation for Probabilistic Timed Automata Model Checking. CSSE (2) 2008: 210-214 |
| 1 | EE | Fangxiong Xiao, Zhiqiu Huang, Jun Hu, Min Yuan, Junhua Zhang: Support Web Services Composition with Optimal Cost Using PPA. ICWS 2008: 760-761 |
| 1 | Zining Cao | [2] |
| 2 | Jun Hu | [1] |
| 3 | Zhiqiu Huang | [1] [2] |
| 4 | Min Yuan | [1] |
| 5 | Junhua Zhang | [1] [2] |