| 2009 | ||
|---|---|---|
| 2 | 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) | |
| 2007 | ||
| 1 | Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan: GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae. TACAS 2007: 466-471 | |
| 1 | Wen-Chin Chan | [1] [2] |
| 2 | Jinn-Shu Chang | [2] |
| 3 | Yu-Fang Chen | [1] [2] |
| 4 | Chi-Jian Luo | [2] |
| 5 | Ming-Hsien Tsai | [1] [2] |
| 6 | Yih-Kuen Tsay | [1] [2] |