| |
| 2007 | ||
|---|---|---|
| 2 | EE | Fei Xu, Zhiwei Yu: A Workflow Verification Method Based on Calculus. TASE 2007: 188-196 |
| 2005 | ||
| 1 | EE | Li Zhang, Zhiwei Yu: Web Process Dynamic Stepped Extension: Pi-Calculus-Based Model and Inference Experiments. OTM Conferences (1) 2005: 202-219 |
| 1 | Fei Xu | [2] |
| 2 | Li Zhang | [1] |