The following publications are possibly variants of this publication:
- Affine Extensions of Integer Vector Addition Systems with StatesMichael Blondin, Christoph Haase, Filip Mazowiecki, Mikhail A. Raskin. lmcs, 17(3), 2021. [doi]
- Integer Vector Addition Systems with StatesChristoph Haase, Simon Halfon. rp 2014: 112-124 [doi]
- The Complexity of Reachability in Affine Vector Addition Systems with StatesMichael Blondin, Mikhail A. Raskin. lmcs, 17(3), 2021. [doi]
- The Complexity of Reachability in Affine Vector Addition Systems with StatesMichael Blondin, Mikhail A. Raskin. lics 2020: 224-236 [doi]
- Monus Semantics in Vector Addition Systems with StatesPascal Baumann 0001, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche. concur 2023: [doi]
- Reachability in Fixed Dimension Vector Addition Systems with StatesWojciech Czerwinski, Slawomir Lasota 0001, Ranko Lazic, Jérôme Leroux, Filip Mazowiecki. concur 2020: [doi]