Wen-Chin Chan

According to our database, Wen-Chin Chan authored at least 3 papers between 2007 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

2007

GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae.

Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan

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