Transformation Between Regular Expressions and omega-Automata

Löding, Christof (Corresponding author); Tollkötter, Andreas (Corresponding author)

Saarbrücken/Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2016)
Contribution to a book, Contribution to a conference proceedings

In: 41st International Symposium on Mathematical Foundations of Computer Science : MFCS 2016, August 22-26, 2016, Kraków, Poland / edited by Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier
Page(s)/Article-Nr.: 88:1-88:13, 13 Seiten