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.

Simulations in Rank-Based Büchi Automata Complementation

Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál. Simulations in Rank-Based Büchi Automata Complementation. In Anthony Widjaja Lin, editor, Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings. Volume 11893 of Lecture Notes in Computer Science, pages 447-467, Springer, 2019. [doi]

Authors

Yu-Fang Chen

This author has not been identified. It may be one of the following persons: Look up 'Yu-Fang Chen' in Google

Vojtech Havlena

This author has not been identified. Look up 'Vojtech Havlena' in Google

Ondrej Lengál

This author has not been identified. Look up 'Ondrej Lengál' in Google
runs on