| |
| 2007 | ||
|---|---|---|
| 2 | EE | Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng: Improvements for the Symbolic Verification of Timed Automata. FORTE 2007: 196-210 |
| 2005 | ||
| 1 | EE | Rongjie Yan, Guangyuan Li, Zhisong Tang: Symbolic Model Checking of Finite Precision Timed Automata. ICTAC 2005: 272-287 |
| 1 | Guangyuan Li | [1] [2] |
| 2 | Yunquan Peng | [2] |
| 3 | Zhisong Tang | [1] |
| 4 | Wenliang Zhang | [2] |