| |
| 2005 | ||
|---|---|---|
| 3 | EE | Rongjie Yan, Guangyuan Li, Zhisong Tang: Symbolic Model Checking of Finite Precision Timed Automata. ICTAC 2005: 272-287 |
| 2003 | ||
| 2 | EE | Guangyuan Li, Zhisong Tang: Translating a Continuous-Time Temporal Logic into Timed Automata. APLAS 2003: 322-338 |
| 2002 | ||
| 1 | EE | Guangyuan Li, Zhisong Tang: Modelling Real-Time Systems with Continuous-Time Temporal Logic. ICFEM 2002: 231-236 |
| 1 | Guangyuan Li | [1] [2] [3] |
| 2 | Rongjie Yan | [3] |