@TechReport{      ChatterjeeDoyenNainVardi,
  Author        = "Chatterjee, Krishnendu and Doyen, Laurent and Nain, Sumit and Vardi, Moshe Y.",
  date-added    = "2013-12-19 12:23:22 +0000",
  date-modified = "2013-12-19 12:23:39 +0000",
  Title         = "The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies",
  Year          = "2013",
  File          = "The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies - Chatterjee, Doyen, Nain, Vardi (0) (0) - a - a - b.pdf"
}

@TechReport{ ChatterjeeDoyenNainVardi, Author = "Chatterjee, Krishnendu and Doyen, Laurent and Nain, Sumit and Vardi, Moshe Y.", date-added = "2013-12-19 12:23:22 +0000", date-modified = "2013-12-19 12:23:39 +0000", Title = "The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies", Year = "2013", File = "The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies - Chatterjee, Doyen, Nain, Vardi (0) (0) - a - a - b.pdf" }