dblp.uni-trier.dewww.uni-trier.de

Wen-Chin Chan

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
3EEYih-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)
2008
2EEYih-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: 346-350
2007
1EEYih-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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)