@InProceedings{   FritzWilke:DLT:2006,
  Author        = "Fritz, Carsten and Wilke, Thomas",
  Editor        = "Ibarra, Oscar and Dang, Zhe",
  affiliation   = {Christian-Albrechts-Universit{\"a}t zu Kiel},
  BookTitle     = "Proc. of DLT'06",
  date-added    = "2012-04-02 17:21:10 +0200",
  date-modified = "2016-02-23 12:46:58 +0000",
  ISBN          = "978-3-540-35428-4",
  keyword       = "Computer Science",
  Keywords      = "fair simulation and delayed simulation and parity games and parity automata and alternating automata and quotienting",
  Note          = "10.1007/11779148\_7",
  Pages         = "59--70",
  Publisher     = "Springer Berlin / Heidelberg",
  Series        = "LNCS",
  Title         = "Simulation Relations for Alternating Parity Automata and Parity Games",
  doi           = "http://dx.doi.org/10.1007/11779148_7",
  Volume        = "4036",
  Year          = "2006",
  bdsk-url-1    = "http://dx.doi.org/10.1007/11779148_7",
  File          = "Simulation Relations for Alternating Parity Automata and Parity Games - Fritz, Wilke (0) (0) - a - a - x.pdf"
}

@InProceedings{ FritzWilke:DLT:2006, Author = "Fritz, Carsten and Wilke, Thomas", Editor = "Ibarra, Oscar and Dang, Zhe", affiliation = {Christian-Albrechts-Universit{\"a}t zu Kiel}, BookTitle = "Proc. of DLT'06", date-added = "2012-04-02 17:21:10 +0200", date-modified = "2016-02-23 12:46:58 +0000", ISBN = "978-3-540-35428-4", keyword = "Computer Science", Keywords = "fair simulation and delayed simulation and parity games and parity automata and alternating automata and quotienting", Note = "10.1007/11779148_7", Pages = "59--70", Publisher = "Springer Berlin / Heidelberg", Series = "LNCS", Title = "Simulation Relations for Alternating Parity Automata and Parity Games", doi = "http://dx.doi.org/10.1007/11779148_7", Volume = "4036", Year = "2006", bdsk-url-1 = "http://dx.doi.org/10.1007/11779148_7", File = "Simulation Relations for Alternating Parity Automata and Parity Games - Fritz, Wilke (0) (0) - a - a - x.pdf" }