@Electronic{      timedgames,
  Author        = "Bouyer, Patricia",
  date-added    = "2020-02-06 11:47:52 +0100",
  date-modified = "2020-02-06 11:48:49 +0100",
  Keywords      = "synthesis of timed systems",
  Title         = "Synthesis of timed systems",
  File          = "Synthesis of timed systems - bouyer-games - a - a - d.pdf"
}

@Electronic{ timedgames, Author = "Bouyer, Patricia", date-added = "2020-02-06 11:47:52 +0100", date-modified = "2020-02-06 11:48:49 +0100", Keywords = "synthesis of timed systems", Title = "Synthesis of timed systems", File = "Synthesis of timed systems - bouyer-games - a - a - d.pdf" }