Decidability of Reachability in Vector Addition Systems (Preliminary Version)

S. Rao Kosaraju

Browse the full STOC paper archive.