@TechReport{      Friedmann,
  Author        = "Friedmann, Oliver and Lange, Martin",
  date-added    = "2015-10-01 14:19:53 +0000",
  date-modified = "2015-10-01 14:20:45 +0000",
  Institution   = {Institut f{\"u}r Informatik, Ludwig-Maximilians-Universit{\"a}t M{\"u}nchen, Germany},
  Keywords      = "parity games",
  Month         = "March",
  Title         = "The PGSolver Collection of Parity Game Solvers",
  Year          = "2014",
  File          = "pgsolver (0) - a - a - f.pdf",
  file-2        = "The PGSolver Collection of Parity Game Solvers - Friedmann, Lange (0) (0) - a - a - f.pdf",
  file-3        = "The PGSolver Collection of Parity Game Solvers - Friedmann, Lange (1) (0) - a - a - f.pdf"
}

@TechReport{ Friedmann, Author = "Friedmann, Oliver and Lange, Martin", date-added = "2015-10-01 14:19:53 +0000", date-modified = "2015-10-01 14:20:45 +0000", Institution = {Institut f{\"u}r Informatik, Ludwig-Maximilians-Universit{\"a}t M{\"u}nchen, Germany}, Keywords = "parity games", Month = "March", Title = "The PGSolver Collection of Parity Game Solvers", Year = "2014", File = "pgsolver (0) - a - a - f.pdf", file-2 = "The PGSolver Collection of Parity Game Solvers - Friedmann, Lange (0) (0) - a - a - f.pdf", file-3 = "The PGSolver Collection of Parity Game Solvers - Friedmann, Lange (1) (0) - a - a - f.pdf" }