External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Fast Translation from LTL to Büchi Automata via Non-transition-based Automata

Shohei Mochizuki, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki. Fast Translation from LTL to Büchi Automata via Non-transition-based Automata. In Stephan Merz, Jun Pang, editors, Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Volume 8829 of Lecture Notes in Computer Science, pages 364-379, Springer, 2014. [doi]

Authors

Shohei Mochizuki

This author has not been identified. Look up 'Shohei Mochizuki' in Google

Masaya Shimakawa

This author has not been identified. Look up 'Masaya Shimakawa' in Google

Shigeki Hagihara

This author has not been identified. Look up 'Shigeki Hagihara' in Google

Naoki Yonezaki

This author has not been identified. Look up 'Naoki Yonezaki' in Google
runs on