- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 1 |      | Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng: Improvements for the Symbolic Verification of Timed Automata. FORTE 2007: 196-210 |
| 1 | Guangyuan Li | [1] |
| 2 | Rongjie Yan | [1] |
| 3 | Wenliang Zhang | [1] |