@PhdThesis{       Dittmann:2017aa,
  Author        = "Dittmann, Christoph",
  date-added    = "2018-03-28 14:38:45 +0000",
  date-modified = "2018-03-28 14:39:15 +0000",
  School        = {Universit{\"a}tsverlag der TU Berlin},
  Title         = "Parity Games, Separations, and the Modal {$\mu$}-Calculus",
  Year          = "2017",
  File          = "dittmann\_christoph (0) - a - a - m.pdf",
  file-2        = "document (0) - a - a - m.pdf"
}

@PhdThesis{ Dittmann:2017aa, Author = "Dittmann, Christoph", date-added = "2018-03-28 14:38:45 +0000", date-modified = "2018-03-28 14:39:15 +0000", School = {Universit{\"a}tsverlag der TU Berlin}, Title = "Parity Games, Separations, and the Modal {$\mu$}-Calculus", Year = "2017", File = "dittmann_christoph (0) - a - a - m.pdf", file-2 = "document (0) - a - a - m.pdf" }