| |
| 2009 | ||
|---|---|---|
| 1 | 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) |
| 1 | Wen-Chin Chan | [1] |
| 2 | Yu-Fang Chen | [1] |
| 3 | Chi-Jian Luo | [1] |
| 4 | Ming-Hsien Tsai | [1] |
| 5 | Yih-Kuen Tsay | [1] |
| 6 | Kang-Nien Wu | [1] |