TY  - RPRT
TI  - Monus semantics in vector addition systems with states
AU  - Pascal Baumann
AU  - Khushraj Madnani
AU  - Filip Mazowiecki
AU  - Georg Zetzsche
PY  - 2023
UR  - https://arxiv.org/abs/2308.14926
ID  - 2308.14926
ER  -