@InCollection{    springerlink:10.1007/3-540-48224-5_57,
  Author        = "Etessami, Kousha and Wilke, Thomas and Schuller, Rebecca A.",
  Editor        = "Orejas, Fernando and Spirakis, Paul and van Leeuwen, Jan",
  affiliation   = "Bell Labs Murray Hill NJ",
  BookTitle     = "Automata, Languages and Programming",
  date-added    = "2012-04-02 17:16:12 +0200",
  date-modified = "2013-12-22 17:40:07 +0000",
  ISBN          = "978-3-540-42287-7",
  keyword       = "Computer Science",
  Keywords      = "fair simulation and delayed simulation and quotienting",
  Note          = "10.1007/3-540-48224-5\_57",
  Pages         = "694-707",
  Publisher     = "Springer Berlin / Heidelberg",
  Series        = "Lecture Notes in Computer Science",
  Title         = {Fair Simulation Relations, Parity Games, and State Space Reduction for {B}{\"u}chi Automata},
  URL           = "http://dx.doi.org/10.1007/3-540-48224-5\_57",
  doi           = {10.1007/3-540-48224-5_57},
  Volume        = "2076",
  Year          = "2001",
  bdsk-url-1    = "http://dx.doi.org/10.1007/3-540-48224-5\_57",
  File          = "Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata - Etessami, Wilke, Schuller (0) (1) (0) (0) - a - a - q.pdf"
}

@InCollection{ springerlink:10.1007/3-540-48224-5_57, Author = "Etessami, Kousha and Wilke, Thomas and Schuller, Rebecca A.", Editor = "Orejas, Fernando and Spirakis, Paul and van Leeuwen, Jan", affiliation = "Bell Labs Murray Hill NJ", BookTitle = "Automata, Languages and Programming", date-added = "2012-04-02 17:16:12 +0200", date-modified = "2013-12-22 17:40:07 +0000", ISBN = "978-3-540-42287-7", keyword = "Computer Science", Keywords = "fair simulation and delayed simulation and quotienting", Note = "10.1007/3-540-48224-5_57", Pages = "694-707", Publisher = "Springer Berlin / Heidelberg", Series = "Lecture Notes in Computer Science", Title = {Fair Simulation Relations, Parity Games, and State Space Reduction for {B}{\"u}chi Automata}, URL = "http://dx.doi.org/10.1007/3-540-48224-5_57", doi = {10.1007/3-540-48224-5_57}, Volume = "2076", Year = "2001", bdsk-url-1 = "http://dx.doi.org/10.1007/3-540-48224-5_57", File = "Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata - Etessami, Wilke, Schuller (0) (1) (0) (0) - a - a - q.pdf" }