@article{ dblp3148383,
  title = {Tool support for learning Büchi automata and linear temporal logic},
  author = {Yih-Kuen Tsay and Yu-Fang Chen and Ming-Hsien Tsai and Kang-Nien Wu and Wen-Chin Chan and Chi-Jian Luo and Jinn-Shu Chang},
  author_short = {Tsay, Y. and Chen, Y. and Tsai, M. and Wu, K. and Chan, W. and Luo, C. and Chang, J.},
  bibtype = {article},
  type = {article},
  year = {2009},
  key = {dblp3148383},
  id = {dblp3148383},
  biburl = {http://www.dblp.org/rec/bibtex/journals/fac/TsayCTWCLC09},
  url = {http://dx.doi.org/10.1007/s00165-008-0091-6},
  journal = {Formal Asp. Comput. (FAC)},
  pages = {259-275},
  number = {3},
  volume = {21},
  text = {Formal Asp. Comput. (FAC) 21(3):259-275 (2009)}
}

{"_id":"y6FNEi2wmbQ6NhhXB","bibbaseid":"tsay-chen-tsai-wu-chan-luo-chang-toolsupportforlearningbchiautomataandlineartemporallogic-2009","downloads":0,"creationDate":"2016-02-18T16:00:36.070Z","title":"Tool support for learning Büchi automata and linear temporal logic","author_short":["Tsay, Y.","Chen, Y.","Tsai, M.","Wu, K.","Chan, W.","Luo, C.","Chang, J."],"year":2009,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/fac/TsayCTWCLC09","bibdata":{"title":"Tool support for learning Büchi automata and linear temporal logic","author":["Yih-Kuen Tsay","Yu-Fang Chen","Ming-Hsien Tsai","Kang-Nien Wu","Wen-Chin Chan","Chi-Jian Luo","Jinn-Shu Chang"],"author_short":["Tsay, Y.","Chen, Y.","Tsai, M.","Wu, K.","Chan, W.","Luo, C.","Chang, J."],"bibtype":"article","type":"article","year":"2009","key":"dblp3148383","id":"dblp3148383","biburl":"http://www.dblp.org/rec/bibtex/journals/fac/TsayCTWCLC09","url":"http://dx.doi.org/10.1007/s00165-008-0091-6","journal":"Formal Asp. Comput. (FAC)","pages":"259-275","number":"3","volume":"21","text":"Formal Asp. Comput. (FAC) 21(3):259-275 (2009)","bibtex":"@article{ dblp3148383,\n title = {Tool support for learning Büchi automata and linear temporal logic},\n author = {Yih-Kuen Tsay and Yu-Fang Chen and Ming-Hsien Tsai and Kang-Nien Wu and Wen-Chin Chan and Chi-Jian Luo and Jinn-Shu Chang},\n author_short = {Tsay, Y. and Chen, Y. and Tsai, M. and Wu, K. and Chan, W. and Luo, C. and Chang, J.},\n bibtype = {article},\n type = {article},\n year = {2009},\n key = {dblp3148383},\n id = {dblp3148383},\n biburl = {http://www.dblp.org/rec/bibtex/journals/fac/TsayCTWCLC09},\n url = {http://dx.doi.org/10.1007/s00165-008-0091-6},\n journal = {Formal Asp. Comput. (FAC)},\n pages = {259-275},\n number = {3},\n volume = {21},\n text = {Formal Asp. Comput. (FAC) 21(3):259-275 (2009)}\n}","bibbaseid":"tsay-chen-tsai-wu-chan-luo-chang-toolsupportforlearningbchiautomataandlineartemporallogic-2009","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s00165-008-0091-6"},"downloads":0,"html":""},"search_terms":["tool","support","learning","chi","automata","linear","temporal","logic","tsay","chen","tsai","wu","chan","luo","chang"],"keywords":[],"authorIDs":["5457e2a12abc8e9f3700086f"],"dataSources":["DKSNu6gB9CJHxgX6r"]}