@Article{         ClementeHerbreteauStainerSutre:arxiv,
  Author        = "Clemente, Lorenzo and Herbreteau, Fr{\'e}d{\'e}ric and Stainer, Am{\'e}lie and Sutre, Gr{\'e}goire",
  date-added    = "2014-02-22 16:38:45 +0000",
  date-modified = "2014-02-22 16:38:56 +0000",
  EPrint        = "1209.0571",
  Month         = "09",
  Title         = "Reachability of Communicating Timed Processes",
  URL           = "http://arxiv.org/abs/1209.0571",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1209.0571",
  File          = "Reachability of Communicating Timed Processes - Clemente, Herbreteau, Stainer, Sutre (0) (0) - a - a - q.pdf"
}

@Article{ ClementeHerbreteauStainerSutre:arxiv, Author = "Clemente, Lorenzo and Herbreteau, Fr{\'e}d{\'e}ric and Stainer, Am{\'e}lie and Sutre, Gr{\'e}goire", date-added = "2014-02-22 16:38:45 +0000", date-modified = "2014-02-22 16:38:56 +0000", EPrint = "1209.0571", Month = "09", Title = "Reachability of Communicating Timed Processes", URL = "http://arxiv.org/abs/1209.0571", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1209.0571", File = "Reachability of Communicating Timed Processes - Clemente, Herbreteau, Stainer, Sutre (0) (0) - a - a - q.pdf" }