@InProceedings{   BFS-infinity08,
  Author        = "Bouchy, Florent and Finkel, Alain and Sangnier, Arnaud",
  BookTitle     = "Joint Proceedings of the 8th, 9th and 10th International Workshops on Verification of Infinite State Systems (INFINITY'06,'07,'08)",
  date-added    = "2012-12-18 15:50:52 +0000",
  date-modified = "2012-12-18 15:50:52 +0000",
  Pages         = "167-178",
  Publisher     = "Elsevier Science Publishers",
  Series        = "Electronic Notes in Theoretical Computer Science",
  Title         = "Reachability in Timed Counter Systems",
  Volume        = "239",
  Year          = "2009",
  File          = "Reachability in Timed Counter Systems - Bouchy, Finkel, Sangnier (0) (0) - a - a - y.pdf"
}

@InProceedings{ BFS-infinity08, Author = "Bouchy, Florent and Finkel, Alain and Sangnier, Arnaud", BookTitle = "Joint Proceedings of the 8th, 9th and 10th International Workshops on Verification of Infinite State Systems (INFINITY'06,'07,'08)", date-added = "2012-12-18 15:50:52 +0000", date-modified = "2012-12-18 15:50:52 +0000", Pages = "167-178", Publisher = "Elsevier Science Publishers", Series = "Electronic Notes in Theoretical Computer Science", Title = "Reachability in Timed Counter Systems", Volume = "239", Year = "2009", File = "Reachability in Timed Counter Systems - Bouchy, Finkel, Sangnier (0) (0) - a - a - y.pdf" }