TY  - RPRT
TI  - Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension
AU  - Jérôme Leroux
AU  - Sylvain Schmitz
PY  - 2019
DO  - 10.1109/lics.2019.8785796
UR  - https://arxiv.org/abs/1903.08575
ID  - 1903.08575
ER  -