@Misc{            Lerouxa,
  Author        = "Leroux, J{\'e}r{\^o}me",
  date-added    = "2012-11-19 14:41:11 +0000",
  date-modified = "2012-11-19 14:41:50 +0000",
  Keywords      = "counter automata",
  Month         = "December",
  Title         = "Presburger Counter Machines",
  Year          = "2012",
  File          = "Presburger Counter Machines - Leroux (0) (0) - a - a - f.pdf"
}

@Misc{ Lerouxa, Author = "Leroux, J{\'e}r{\^o}me", date-added = "2012-11-19 14:41:11 +0000", date-modified = "2012-11-19 14:41:50 +0000", Keywords = "counter automata", Month = "December", Title = "Presburger Counter Machines", Year = "2012", File = "Presburger Counter Machines - Leroux (0) (0) - a - a - f.pdf" }