TY  - RPRT
TI  - The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
AU  - leroux jerome
PY  - 2010
DO  - 10.2168/lmcs-6(3:22)2010
UR  - https://arxiv.org/abs/1009.1076
ID  - 1009.1076
ER  -