Demystifying Reachability in Vector Addition Systems.

Jrme Leroux, Sylvain Schmitz

Browse the full LICS paper archive.