Affine Extensions of Integer Vector Addition Systems with States

Michael Blondin, Christoph Haase, Filip Mazowiecki
January 2018
PDF DOI
Type
Conference paper
Publication
Concurrency Theory, CONCUR