@Article{         Leroux:LMCS:2010,
  Author        = "Leroux, J{\'e}r{\^o}me",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  date-added    = "2012-06-13 11:52:53 +0200",
  date-modified = "2016-01-29 17:13:52 +0000",
  ee            = "http://dx.doi.org/10.2168/LMCS-6(3:22)2010",
  Journal       = "LMCS",
  Number        = "3",
  Title         = "The General Vector Addition System Reachability Problem by Presburger Inductive Invariants",
  Volume        = "6",
  Year          = "2010",
  File          = "The General Vector Addition System Reachability Problem by Presburger Inductive Invariants - Leroux (0) (0) - a - a - c.pdf"
}

@Article{ Leroux:LMCS:2010, Author = "Leroux, J{\'e}r{\^o}me", bibsource = "DBLP, http://dblp.uni-trier.de", date-added = "2012-06-13 11:52:53 +0200", date-modified = "2016-01-29 17:13:52 +0000", ee = "http://dx.doi.org/10.2168/LMCS-6(3:22)2010", Journal = "LMCS", Number = "3", Title = "The General Vector Addition System Reachability Problem by Presburger Inductive Invariants", Volume = "6", Year = "2010", File = "The General Vector Addition System Reachability Problem by Presburger Inductive Invariants - Leroux (0) (0) - a - a - c.pdf" }