Vector addition system reachability problem: a short self-contained proof.

Jrme Leroux

Browse the full POPL paper archive.