公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2007 | GOAL: A Graphical Tool for Manipulating Buechi Automata and Temporal Formulae | Y.-K. Tsay; Y.-F. Chen; M.-H. Tsai; K.-N. Wu; W.-C. Chan | ||||
2007 | GOAL: A graphical tool for manipulating Büchi automata and temporal formulae | Y.-K. Tsay; Y.-F. Chen; M.-H. Tsai; K.-N. Wu; W.-C. Chan | ||||
2009 | Tool support for learning Büchi automata and linear temporal logic | Y.-K. Tsay; Y.-F. Chen; M.-H. Tsai; K.-N. Wu; W.-C. Chan; C.-J. Luo; J.-S. Chang | Formal Aspects of Computing 21(3), 259-275 |