| |
| 2006 | ||
|---|---|---|
| 1 | EE | Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao: Model Checking Timed Systems with Urgencies. ATVA 2006: 67-81 |
| 1 | Yean-Ru Chen | [1] |
| 2 | Pao-Ann Hsiung | [1] |
| 3 | Chun-Hsian Huang | [1] |
| 4 | Hsiao-Win Liao | [1] |
| 5 | Chao-Sheng Lin | [1] |
| 6 | Shang-Wei Lin | [1] |
| 7 | Hong-Yu Sun | [1] |