Reachability in Two-Dimensional Vector Addition Systems with States: One Test Is for Free.

Jrme Leroux, Grgoire Sutre

Browse the full CONCUR paper archive.