# Leroux, 2010

## Summary

Jérôme Leroux (2010) The General Vector Addition System Reachability Problem by Presburger Inductive Invariants Logical Methods in Computer Science, 6(3) (URL)

## BibTeX entry

@ARTICLE { Leroux09,    AUTHOR = { J{\'e}r\^ome Leroux },    TITLE = { The General Vector Addition System Reachability Problem by {P}resburger Inductive Invariants },    JOURNAL = { Logical Methods in Computer Science },    VOLUME = { 6 },    NUMBER = { 3 },    YEAR = { 2010 },    DOI = { 10.2168/LMCS-6(3:22)2010 },}