GOAL: A graphical tool for manipulating Büchi automata and temporal formulae

YIH-KUEN TSAYChen, Y.-F.Y.-F.ChenTsai, M.-H.M.-H.TsaiWu, K.-N.K.-N.WuChan, W.-C.W.-C.Chan2018-09-102018-09-102007http://www.scopus.com/inward/record.url?eid=2-s2.0-37149013436&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/329746GOAL: A graphical tool for manipulating Büchi automata and temporal formulaebook