Chi-Jian Luo

Publication Activity (10 Years)

Years Active: 2008-2009
Publications (10 Years): 0

Publications

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 Aspects Comput. 21 (3) (2009)
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)