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 },
}