TY  - RPRT
TI  - Affine Extensions of Integer Vector Addition Systems with States
AU  - Michael Blondin
AU  - Christoph Haase
AU  - Filip Mazowiecki
AU  - Mikhail Raskin
PY  - 2021
DO  - 10.46298/lmcs-17(3:1)2021
UR  - https://arxiv.org/abs/1909.12386
ID  - 1909.12386
ER  -