@InProceedings{   lding_et_al:LIPIcs:2020:11670,
  Author        = {L{\"o}ding, Christof and Tollk{\"o}tter, Andreas},
  Editor        = "Fern{\'a}ndez, Maribel and Muscholl, Anca",
  Address       = "Dagstuhl, Germany",
  Annote        = "Keywords: automata, ?-automata, parity, minimization, state space reduction, deterministic, simulation relations",
  BookTitle     = "28th EACSL Annual Conference on Computer Science Logic (CSL 2020)",
  date-added    = "2019-12-31 15:31:06 +0100",
  date-modified = "2019-12-31 15:31:06 +0100",
  ISBN          = "978-3-95977-132-0",
  ISSN          = "1868-8969",
  Pages         = "27:1--27:16",
  Publisher     = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
  Series        = "Leibniz International Proceedings in Informatics (LIPIcs)",
  Title         = "{State Space Reduction For Parity Automata}",
  URL           = "https://drops.dagstuhl.de/opus/volltexte/2020/11670",
  Volume        = "152",
  Year          = "2020",
  bdsk-url-1    = "https://drops.dagstuhl.de/opus/volltexte/2020/11670",
  File          = "State Space Reduction For Parity Automata - LIPIcs-CSL-2020-27 - a - a - a - p.pdf"
}

@InProceedings{ lding_et_al:LIPIcs:2020:11670, Author = {L{\"o}ding, Christof and Tollk{\"o}tter, Andreas}, Editor = "Fern{\'a}ndez, Maribel and Muscholl, Anca", Address = "Dagstuhl, Germany", Annote = "Keywords: automata, ?-automata, parity, minimization, state space reduction, deterministic, simulation relations", BookTitle = "28th EACSL Annual Conference on Computer Science Logic (CSL 2020)", date-added = "2019-12-31 15:31:06 +0100", date-modified = "2019-12-31 15:31:06 +0100", ISBN = "978-3-95977-132-0", ISSN = "1868-8969", Pages = "27:1--27:16", Publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik", Series = "Leibniz International Proceedings in Informatics (LIPIcs)", Title = "{State Space Reduction For Parity Automata}", URL = "https://drops.dagstuhl.de/opus/volltexte/2020/11670", Volume = "152", Year = "2020", bdsk-url-1 = "https://drops.dagstuhl.de/opus/volltexte/2020/11670", File = "State Space Reduction For Parity Automata - LIPIcs-CSL-2020-27 - a - a - a - p.pdf" }