Integer Vector Addition Systems with States

Publication
Reachability Problems, RP