@inproceedings{CTT100677942,
  author = {Shohei Mochizuki and Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki},
  title = {Fast Translation from LTL to Büchi Automata via Non-transition-based Automata},
  booktitle = {Formal Methods and Software Engineering, 16th International Conference on Formal Engineering Methods, ICFEM 2014, Lecture Notes in Computer Science},
  year = 2014,
}

@inproceedings{CTT100665098,
  author = {上野篤史 and 望月翔平 and 島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {LTL式で記述されたリアクティブシステム仕様の高速な実現可能性判定器の実装},
  booktitle = {},
  year = 2013,
}

@inproceedings{CTT100661007,
  author = {上野篤史 and 望月翔平 and 島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {LTL式で記述されたリアクティブシステム仕様の高速な実現可能性判定器の実装に関する研究},
  booktitle = {日本ソフトウェア科学会第30回大会講演論文集},
  year = 2013,
}

@inproceedings{CTT100648484,
  author = {望月翔平 and 島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {LTL式からBuchiオートマトンへの高速な変換法},
  booktitle = {ソフトウェア工学の基礎XIX, 日本ソフトウェア科学会 FOSE 2012},
  year = 2012,
}