@PhdThesis{       Mio,
  Author        = "Mio, Matteo",
  date-added    = "2012-05-06 09:10:45 +0200",
  date-modified = "2012-05-06 09:11:11 +0200",
  School        = "School of Informatics",
  Title         = "Game Semantics for Probabilistic Modal {$\mu$}-Calculi",
  Year          = "2012",
  File          = "Game Semantics for Probabilistic Modal {$\mu$}-Calculi - Mio (0) (0) - a - a - q.pdf"
}

@PhdThesis{ Mio, Author = "Mio, Matteo", date-added = "2012-05-06 09:10:45 +0200", date-modified = "2012-05-06 09:11:11 +0200", School = "School of Informatics", Title = "Game Semantics for Probabilistic Modal {$\mu$}-Calculi", Year = "2012", File = "Game Semantics for Probabilistic Modal {$\mu$}-Calculi - Mio (0) (0) - a - a - q.pdf" }