@PhdThesis{       Wojtczak,
  Author        = "Wojtczak, Dominik",
  date-added    = "2012-04-23 16:55:55 +0200",
  date-modified = "2012-04-23 16:57:25 +0200",
  Keywords      = "stochastic games",
  School        = "The University of Edinburgh",
  Title         = "Recursive Probabilistic Models: efficient analysis and implementation",
  Year          = "2009",
  File          = "Recursive Probabilistic Models efficient analysis and implementation - Wojtczak (0) (0) - a - a - r.pdf"
}

@PhdThesis{ Wojtczak, Author = "Wojtczak, Dominik", date-added = "2012-04-23 16:55:55 +0200", date-modified = "2012-04-23 16:57:25 +0200", Keywords = "stochastic games", School = "The University of Edinburgh", Title = "Recursive Probabilistic Models: efficient analysis and implementation", Year = "2009", File = "Recursive Probabilistic Models efficient analysis and implementation - Wojtczak (0) (0) - a - a - r.pdf" }