@article{lmcs:5797, title = {Affine Extensions of Integer Vector Addition Systems with States}, author = {Michael Blondin and Christoph Haase and Filip Mazowiecki and Mikhail Raskin}, url = {https://lmcs.episciences.org/5797}, doi = {10.46298/lmcs-17(3:1)2021}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 17, Issue 3}, eid = 1, year = {2021}, month = {Jul}, keywords = {Computer Science - Logic in Computer Science, Computer Science - Computational Complexity}, }