The complexity of reachability in vector addition systems

Sylvain Schmitz. The complexity of reachability in vector addition systems. SIGLOG News, 3(1):4-21, 2016. [doi]

Authors

Sylvain Schmitz

This author has not been identified. Look up 'Sylvain Schmitz' in Google