@InProceedings{   FriedmannLange,
  Author        = "Friedmann, Oliver and Lange, Martin",
  Editor        = {Flanagan, Cormac and K\"{o}nig, Barbara},
  BookTitle     = "Tools and Algorithms for the Construction and Analysis of Systems",
  date-added    = "2012-04-02 12:27:12 +0200",
  date-modified = "2012-04-02 12:27:30 +0200",
  ISBN          = "978-3-642-28755-8",
  Location      = "Heidelberg",
  Pages         = "64--78",
  Publisher     = "Springer",
  Series        = "Lecture Notes in Computer Science",
  Title         = "Ramsey-Based Analysis of Parity Automata",
  Volume        = "7214",
  Year          = "2012",
  File          = "Ramsey-Based Analysis of Parity Automata - Friedmann, Lange (0) (0) - a - a - b.pdf",
  file-2        = "Ramsey-Based Analysis of Parity Automata - Friedmann, Lange (1) (0) - a - a - b.pdf"
}

@InProceedings{ FriedmannLange, Author = "Friedmann, Oliver and Lange, Martin", Editor = {Flanagan, Cormac and K\"{o}nig, Barbara}, BookTitle = "Tools and Algorithms for the Construction and Analysis of Systems", date-added = "2012-04-02 12:27:12 +0200", date-modified = "2012-04-02 12:27:30 +0200", ISBN = "978-3-642-28755-8", Location = "Heidelberg", Pages = "64--78", Publisher = "Springer", Series = "Lecture Notes in Computer Science", Title = "Ramsey-Based Analysis of Parity Automata", Volume = "7214", Year = "2012", File = "Ramsey-Based Analysis of Parity Automata - Friedmann, Lange (0) (0) - a - a - b.pdf", file-2 = "Ramsey-Based Analysis of Parity Automata - Friedmann, Lange (1) (0) - a - a - b.pdf" }