Kang-Nien Wu

According to our database, Kang-Nien Wu authored at least 2 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

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