| |
| 2005 | ||
|---|---|---|
| 2 | EE | Bernhard K. Aichernig, Jifeng He, Zhiming Liu, Mike Reed: Integrating Theories and Techniques for Program Modelling, Design and Verification. VSTTE 2005: 291-300 |
| 2004 | ||
| 1 | EE | Mike Reed: Order, Topology, and Recursion Induction in CSP. 25 Years Communicating Sequential Processes 2004: 242-242 |
| 1 | Bernhard K. Aichernig | [2] |
| 2 | Jifeng He | [2] |
| 3 | Zhiming Liu | [2] |