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]

Abstract

Abstract is missing.