| |
| 2008 | ||
|---|---|---|
| 2 | EE | Wang Juan, Zhou Yajie, Zhang Huanguo: The Simplified Inductive Approach to Verifying Security Protocols. ISECS 2008: 523-526 |
| 1995 | ||
| 1 | Xiaoshan Li, Wang Juan: Specifying Optimal Design of a Steam-Boiler System. Formal Methods for Industrial Applications 1995: 359-378 | |
| 1 | Zhang Huanguo | [2] |
| 2 | Xiaoshan Li | [1] |
| 3 | Zhou Yajie | [2] |