Improving Reachability in Vector Addition Systems Through Pumpability.

Weijun Chen, Yuxi Fu, Yangluo Zheng

Browse the full CONCUR paper archive.