TY  - RPRT
TI  - Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE-complete
AU  - Michael Blondin
AU  - Alain Finkel
AU  - Stefan Göller
AU  - Christoph Haase
AU  - Pierre McKenzie
PY  - 2014
DO  - 10.1109/lics.2015.14
UR  - https://arxiv.org/abs/1412.4259
ID  - 1412.4259
ER  -