@PhdThesis{       phdbrutsch,
  Author        = {Br{\"u}tsch, Benedikt},
  date-added    = "2020-10-25 18:30:15 +0100",
  date-modified = "2020-10-25 18:30:38 +0100",
  Title         = "Strategies in infinite games : structured reactive programs and transducers over infinite alphabets",
  Year          = "2020",
  File          = "Strategies in infinite games - structured reactive programs and transducers over infinite alphabets - 785809 - a - i.pdf"
}

@PhdThesis{ phdbrutsch, Author = {Br{\"u}tsch, Benedikt}, date-added = "2020-10-25 18:30:15 +0100", date-modified = "2020-10-25 18:30:38 +0100", Title = "Strategies in infinite games : structured reactive programs and transducers over infinite alphabets", Year = "2020", File = "Strategies in infinite games - structured reactive programs and transducers over infinite alphabets - 785809 - a - i.pdf" }