Vector Addition System Reachability Problem: A Short Self-contained Proof.

Jrme Leroux

Browse the full LATA paper archive.