TY  - RPRT
TI  - Reachability in fixed dimension vector addition systems with states
AU  - Wojciech Czerwiński
AU  - Sławomir Lasota
AU  - Ranko Lazić
AU  - Jérôme Leroux
AU  - Filip Mazowiecki
PY  - 2020
UR  - https://arxiv.org/abs/2001.04327
ID  - 2001.04327
ER  -