Reachability in Vector Addition System with States Parameterized by Geometric Dimension.

Yangluo Zheng

Browse the full CONCUR paper archive.