Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany (2019) [Contribution to a conference proceedings]

[46th International Colloquium on Automata, Languages and Programming, ICALP 2019, 2019-07-08 - 2019-07-12, Patras, Greece]

Authors

Authors

Löding, Christof
Pirogov, Anton

Identifier