@InProceedings{   JovanovicFaucouLimeRoux,
  Author        = "Jovanovic, Aleksandra and Faucou, Sebastien and Lime, Didier and Roux, Olivier H.",
  BookTitle     = "WODES",
  date-added    = "2012-12-05 17:07:55 +0000",
  date-modified = "2012-12-05 21:53:21 +0000",
  Keywords      = "timed games",
  Title         = "Real-Time Control with Parametric Timed Reachability Games",
  Year          = "2012",
  bdsk-url-1    = "http://hal.archives-ouvertes.fr/hal-00753689",
  File          = "Real-Time Control with Parametric Timed Reachability Games - Jovanovic, Faucou, Lime, Roux (0) (0) - a - a - j.pdf"
}

@InProceedings{ JovanovicFaucouLimeRoux, Author = "Jovanovic, Aleksandra and Faucou, Sebastien and Lime, Didier and Roux, Olivier H.", BookTitle = "WODES", date-added = "2012-12-05 17:07:55 +0000", date-modified = "2012-12-05 21:53:21 +0000", Keywords = "timed games", Title = "Real-Time Control with Parametric Timed Reachability Games", Year = "2012", bdsk-url-1 = "http://hal.archives-ouvertes.fr/hal-00753689", File = "Real-Time Control with Parametric Timed Reachability Games - Jovanovic, Faucou, Lime, Roux (0) (0) - a - a - j.pdf" }