State Space Reduction For Parity Automata

Löding, Christof; Tollkötter, Andreas

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany (2020) [Buchbeitrag, Beitrag zu einem Tagungsband]

[28th EACSL Annual Conference on Computer Science Logic]
Seite(n): 16 pages

Identifikationsnummern