Integer Vector Addition Systems with States

Christoph Haase, Simon Halfon
January 2014
PDF DOI
Type
Conference paper
Publication
Reachability Problems, RP