公開日期 | 標題 | 作者 | 來源出版物 | 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) | | | |
2007 | GOAL: A graphical tool for manipulating Büchi automata and temporal formulae | YIH-KUEN TSAY ; Chen, Y.-F.; Tsai, M.-H.; Wu, K.-N.; Chan, W.-C. | 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 | | | |