Chi-Jian Luo

According to our database, Chi-Jian Luo authored at least 2 papers between 2008 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Tool support for learning Büchi automata and linear temporal logic.

Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang

Formal Aspects Comput., 2009

2008

GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic.

Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008