The General Vector Addition System Reachability Problem by Presburger Inductive Invariants.

Jrme Leroux

Browse the full LICS paper archive.