Büchi store: An open repository of Büchi automata

YIH-KUEN TSAYTsai, M.-H.M.-H.TsaiChang, J.-S.J.-S.ChangChang, Y.-W.Y.-W.Chang2018-09-102018-09-102011http://www.scopus.com/inward/record.url?eid=2-s2.0-79953182735&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/362774Büchi store: An open repository of Büchi automatabook10.1007/978-3-642-19835-9_23