| |
| 2009 | ||
|---|---|---|
| 2 | EE | Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang: Tool support for learning Büchi automata and linear temporal logic. Formal Asp. Comput. 21(3): 259-275 (2009) |
| 2008 | ||
| 1 | EE | Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo: GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic. TACAS 2008: 346-350 |
| 1 | Wen-Chin Chan | [1] [2] |
| 2 | Jinn-Shu Chang | [2] |
| 3 | Yu-Fang Chen | [1] [2] |
| 4 | Ming-Hsien Tsai | [1] [2] |
| 5 | Yih-Kuen Tsay | [1] [2] |
| 6 | Kang-Nien Wu | [2] |