@inproceedings{Leroux:PresburgerVAS:LICS2013,
    Author = {Leroux, J.},
    BookTitle = {Proc. of LICS'13},
    File = {Presburger Vector Addition Systems - Leroux (0) (0) - a - a - e.pdf},
    ISSN = {1043-6871},
    Keywords = {arithmetic;reachability analysis;set theory;Presburger arithmetic;inductive invariants;net theory;reachability problem;reachability set;vector addition systems;Acceleration;Complexity theory;Lattices;Petri nets;TV;Vectors;Acceleration;Infinite State Systems;Petri nets;Presburger;Reachability;Vector Addition Systems;flatability},
    Month = {June},
    Pages = {23--32},
    Title = {Presburger Vector Addition Systems},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2013.7},
    date-added = {2016-07-26 09:09:18 +0000},
    date-modified = {2016-07-26 13:48:47 +0000},
    doi = {10.1109/LICS.2013.7}
}

@inproceedings{Leroux:PresburgerVAS:LICS2013, Author = {Leroux, J.}, BookTitle = {Proc. of LICS'13}, File = {Presburger Vector Addition Systems - Leroux (0) (0) - a - a - e.pdf}, ISSN = {1043-6871}, Keywords = {arithmetic;reachability analysis;set theory;Presburger arithmetic;inductive invariants;net theory;reachability problem;reachability set;vector addition systems;Acceleration;Complexity theory;Lattices;Petri nets;TV;Vectors;Acceleration;Infinite State Systems;Petri nets;Presburger;Reachability;Vector Addition Systems;flatability}, Month = {June}, Pages = {23--32}, Title = {Presburger Vector Addition Systems}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2013.7}, date-added = {2016-07-26 09:09:18 +0000}, date-modified = {2016-07-26 13:48:47 +0000}, doi = {10.1109/LICS.2013.7} }