@InProceedings{   OualhadjReynierSankur,
  Author        = "Oualhadj, Youssouf and Reynier, Pierre-Alain and Sankur, Ocan",
  BookTitle     = "{P}roceedings of the 25th {I}nternational {C}onference on {C}oncurrency {T}heory ({CONCUR}'14)",
  date-added    = "2014-08-28 20:01:24 +0000",
  date-modified = "2014-08-28 20:01:29 +0000",
  Title         = "Probabilistic Robust Timed Games",
  Year          = "2014",
  File          = "Probabilistic Robust Timed Games - Oualhadj, Reynier, Sankur (0) (0) - a - a - h.pdf"
}

@InProceedings{ OualhadjReynierSankur, Author = "Oualhadj, Youssouf and Reynier, Pierre-Alain and Sankur, Ocan", BookTitle = "{P}roceedings of the 25th {I}nternational {C}onference on {C}oncurrency {T}heory ({CONCUR}'14)", date-added = "2014-08-28 20:01:24 +0000", date-modified = "2014-08-28 20:01:29 +0000", Title = "Probabilistic Robust Timed Games", Year = "2014", File = "Probabilistic Robust Timed Games - Oualhadj, Reynier, Sankur (0) (0) - a - a - h.pdf" }