On Finitely Ambiguous Büchi Automata
Löding, Christof (Corresponding author); Pirogov, Anton (Corresponding author)
Cham : Springer International Publishing (2018)
Contribution to a book, Contribution to a conference proceedings
In: Developments in language theory ; 22nd international conference, DLT 2018, Tokyo, Japan, September 10-14, 2018 : proceedings / Mizuho Hoshi, Shinnosuke Seki (eds.)
Page(s)/Article-Nr.: 503-515
Identifier
- DOI: 10.1007/978-3-319-98654-8_41
- RWTH PUBLICATIONS: RWTH-2018-227933