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

Jinn-Shu Chang

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

2009
1EEYih-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)

Coauthor Index

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

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