"Reachability in Vector Addition Systems is Primitive-Recursive in Fixed ..."

Jérôme Leroux, Sylvain Schmitz (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics