@InProceedings{   CassezDavidFleuryLarsenLime:CONCUR:2005,
  Author        = "Cassez, Franck and David, Alexandre and Fleury, Emmanuel and Larsen, Kim G. and Lime, Didier",
  Abstract      = "In this paper, we propose the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties",
  BookTitle     = "Proc. of CONCUR'05",
  date-added    = "2020-04-24 15:51:47 +0200",
  date-modified = "2020-08-12 14:41:34 +0200",
  ISBN          = "978-3-540-31934-4",
  Pages         = "66--80",
  Title         = "Efficient On-the-Fly Algorithms for the Analysis of Timed Games",
  Year          = "2005",
  File          = "Efficient On-the-Fly Algorithms for the Analysis of Timed Games - cassez2005 - a - x.pdf"
}

@InProceedings{ CassezDavidFleuryLarsenLime:CONCUR:2005, Author = "Cassez, Franck and David, Alexandre and Fleury, Emmanuel and Larsen, Kim G. and Lime, Didier", Abstract = "In this paper, we propose the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties", BookTitle = "Proc. of CONCUR'05", date-added = "2020-04-24 15:51:47 +0200", date-modified = "2020-08-12 14:41:34 +0200", ISBN = "978-3-540-31934-4", Pages = "66--80", Title = "Efficient On-the-Fly Algorithms for the Analysis of Timed Games", Year = "2005", File = "Efficient On-the-Fly Algorithms for the Analysis of Timed Games - cassez2005 - a - x.pdf" }