@InCollection{    springerlink:10.1007/3-540-36206-1_15,
  Author        = "Fritz, Carsten and Wilke, Thomas",
  Editor        = "Agrawal, Manindra and Seth, Anil",
  affiliation   = {Christian-Albrechts-Universit{\"a}t Institut f{\"u}r Informatik und Praktische Mathematik 24098 Kiel Germany},
  BookTitle     = "FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science",
  date-added    = "2012-04-02 17:24:43 +0200",
  date-modified = "2012-04-02 15:25:18 +0000",
  ISBN          = "978-3-540-00225-3",
  keyword       = "Computer Science",
  Keywords      = "alternating automata and fair simulation and delayed simulation and quotienting",
  Pages         = "157-168",
  Publisher     = "Springer Berlin / Heidelberg",
  Series        = "Lecture Notes in Computer Science",
  Title         = {State Space Reductions for Alternating B{\"u}chi Automata Quotienting by Simulation Equivalences},
  doi           = {http://dx.doi.org/10.1007/3-540-36206-1_15},
  Volume        = "2556",
  Year          = "2002",
  File          = "State Space Reductions for Alternating Büchi Automata Quotienting by Simulation Equivalences - Fritz, Wilke (1) (0) - a - a - d.pdf",
  file-2        = "State Space Reductions for Alternating Büchi Automata Quotienting by Simulation Equivalences - Fritz, Wilke (2) (0) - a - a - d.pdf"
}

@InCollection{ springerlink:10.1007/3-540-36206-1_15, Author = "Fritz, Carsten and Wilke, Thomas", Editor = "Agrawal, Manindra and Seth, Anil", affiliation = {Christian-Albrechts-Universit{\"a}t Institut f{\"u}r Informatik und Praktische Mathematik 24098 Kiel Germany}, BookTitle = "FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science", date-added = "2012-04-02 17:24:43 +0200", date-modified = "2012-04-02 15:25:18 +0000", ISBN = "978-3-540-00225-3", keyword = "Computer Science", Keywords = "alternating automata and fair simulation and delayed simulation and quotienting", Pages = "157-168", Publisher = "Springer Berlin / Heidelberg", Series = "Lecture Notes in Computer Science", Title = {State Space Reductions for Alternating B{\"u}chi Automata Quotienting by Simulation Equivalences}, doi = {http://dx.doi.org/10.1007/3-540-36206-1_15}, Volume = "2556", Year = "2002", File = "State Space Reductions for Alternating Büchi Automata Quotienting by Simulation Equivalences - Fritz, Wilke (1) (0) - a - a - d.pdf", file-2 = "State Space Reductions for Alternating Büchi Automata Quotienting by Simulation Equivalences - Fritz, Wilke (2) (0) - a - a - d.pdf" }