| |
| 2001 | ||
|---|---|---|
| 2 | EE | Guoping Jia, Susanne Graf: Verification Experiments on the MASCARA Protocol. SPIN 2001: 123-142 |
| 1996 | ||
| 1 | Guoping Jia, Guoliang Zheng: Fair Transition System Specification: An Integrated Approach. SIGPLAN Notices 31(3): 14-21 (1996) | |
| 1 | Susanne Graf | [2] |
| 2 | Guoliang Zheng | [1] |