BibTeX record conf/IEEEicci/LuL12

• > Home > conf/IEEEicci/LuL12

@inproceedings{DBLP:conf/IEEEicci/LuL12,
  author       = {Xinye Lu and
                  Guiming Luo},
  editor       = {Kenji Sugawara and
                  Yingxu Wang and
                  Fumio Hattori and
                  Toyoaki Nishida and
                  Shigeru Fujita and
                  Witold Kinsner and
                  Lotfi A. Zadeh},
  title        = {Direct translation of {LTL} formulas to B{\"{u}}chi automata},
  booktitle    = {11th {IEEE} International Conference on Cognitive Informatics and
                  Cognitive Computing, ICCI*CC 2012, Kyoto, Japan, August 22-24, 2012},
  pages        = {323--328},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICCI-CC.2012.6311168},
  doi          = {10.1109/ICCI-CC.2012.6311168},
  timestamp    = {Sat, 20 May 2023 16:27:56 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEicci/LuL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}