@article{Schmitz:2016:CRV:2893582.2893585,
    Address = {New York, NY, USA},
    Author = {Schmitz, Sylvain},
    File = {The Complexity of Reachability in Vector Addition Systems - Schmitz (0) (0) - a - a - p.pdf},
    ISSN = {2372-3491},
    Journal = {ACM SIGLOG News},
    Month = {February},
    Number = {1},
    Pages = {4--21},
    Publisher = {ACM},
    Title = {The Complexity of Reachability in Vector Addition Systems},
    URL = {http://doi.acm.org/10.1145/2893582.2893585},
    Volume = {3},
    Year = {2016},
    acmid = {2893585},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2893582.2893585},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2893582.2893585},
    date-added = {2016-07-20 15:09:00 +0000},
    date-modified = {2016-07-20 15:09:00 +0000},
    issue_date = {January 2016},
    numpages = {18},
    doi = {10.1145/2893582.2893585}
}

@article{Schmitz:2016:CRV:2893582.2893585, Address = {New York, NY, USA}, Author = {Schmitz, Sylvain}, File = {The Complexity of Reachability in Vector Addition Systems - Schmitz (0) (0) - a - a - p.pdf}, ISSN = {2372-3491}, Journal = {ACM SIGLOG News}, Month = {February}, Number = {1}, Pages = {4--21}, Publisher = {ACM}, Title = {The Complexity of Reachability in Vector Addition Systems}, URL = {http://doi.acm.org/10.1145/2893582.2893585}, Volume = {3}, Year = {2016}, acmid = {2893585}, bdsk-url-1 = {http://doi.acm.org/10.1145/2893582.2893585}, bdsk-url-2 = {http://dx.doi.org/10.1145/2893582.2893585}, date-added = {2016-07-20 15:09:00 +0000}, date-modified = {2016-07-20 15:09:00 +0000}, issue_date = {January 2016}, numpages = {18}, doi = {10.1145/2893582.2893585} }