Kang-Nien Wu

	2009
2		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)
	2007
1		Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan: GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae. TACAS 2007: 466-471

Coauthor Index

1	Wen-Chin Chan	[1] [2]
2	Jinn-Shu Chang	[2]
3	Yu-Fang Chen	[1] [2]
4	Chi-Jian Luo	[2]
5	Ming-Hsien Tsai	[1] [2]
6	Yih-Kuen Tsay	[1] [2]