The Decidability of the Reachability Problem for Vector Addition Systems (Preliminary Version)

George S. Sacerdote, Richard L. Tenney

Browse the full STOC paper archive.