Vector Addition System Reversible Reachability Problem.

Jrme Leroux

Browse the full CONCUR paper archive.