@inproceedings{Blondin:2015:RTV:2876514.2876520,
    Address = {Washington, DC, USA},
    Author = {Blondin, Michael and Finkel, Alain and Goller, Stefan and Haase, Christoph and McKenzie, Pierre},
    BookTitle = {Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
    File = {8875a032 (0) - a - a - f.pdf},
    ISBN = {978-1-4799-8875-4},
    Pages = {32--43},
    Publisher = {IEEE Computer Society},
    Series = {LICS '15},
    Title = {Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete},
    URL = {http://dx.doi.org/10.1109/LICS.2015.14},
    Year = {2015},
    acmid = {2876520},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2015.14},
    date-added = {2017-10-09 14:16:34 +0000},
    date-modified = {2017-10-09 14:16:34 +0000},
    numpages = {12},
    doi = {10.1109/LICS.2015.14}
}

@inproceedings{Blondin:2015:RTV:2876514.2876520, Address = {Washington, DC, USA}, Author = {Blondin, Michael and Finkel, Alain and Goller, Stefan and Haase, Christoph and McKenzie, Pierre}, BookTitle = {Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, File = {8875a032 (0) - a - a - f.pdf}, ISBN = {978-1-4799-8875-4}, Pages = {32--43}, Publisher = {IEEE Computer Society}, Series = {LICS '15}, Title = {Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete}, URL = {http://dx.doi.org/10.1109/LICS.2015.14}, Year = {2015}, acmid = {2876520}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2015.14}, date-added = {2017-10-09 14:16:34 +0000}, date-modified = {2017-10-09 14:16:34 +0000}, numpages = {12}, doi = {10.1109/LICS.2015.14} }