公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2008 | GOAL extended: Towards a research tool for omega automata and temporal logic | YIH-KUEN TSAY ; Chen, Y.-F.; Tsai, M.-H.; Chan, W.-C.; Luo, C.-J. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
2009 | Tool support for learning Büchi automata and linear temporal logic | YIH-KUEN TSAY ; Chen, Y.-F.; Tsai, M.-H.; Wu, K.-N.; Chan, W.-C.; Luo, C.-J.; Chang, J.-S. | Formal Aspects of Computing |