| |
| 2005 | ||
|---|---|---|
| 2 | EE | Fei Pu, Wenhui Zhang, Shaochun Wang: An Improved Case-Based Approach to LTL Model Checking. RISE 2005: 190-202 |
| 2003 | ||
| 1 | EE | Mark Utting, Shaochun Wang: Object Orientation without Extending Z. ZB 2003: 319-338 |
| 1 | Fei Pu | [2] |
| 2 | Mark Utting | [1] |
| 3 | Wenhui Zhang | [2] |