BibTeX record journals/fac/TsayCTWCLC09

download as .bib file

@article{DBLP:journals/fac/TsayCTWCLC09,
  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},
  title        = {Tool support for learning B{\"{u}}chi automata and linear temporal
                  logic},
  journal      = {Formal Aspects Comput.},
  volume       = {21},
  number       = {3},
  pages        = {259--275},
  year         = {2009},
  url          = {https://doi.org/10.1007/s00165-008-0091-6},
  doi          = {10.1007/S00165-008-0091-6},
  timestamp    = {Tue, 20 Dec 2022 08:08:39 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/TsayCTWCLC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.