Affine Extensions of Integer Vector Addition Systems with States

Michael Blondin, Christoph Haase, Filip Mazowiecki, Mikhail Raskin
January 2021
PDF DOI
Type
Journal article
Publication
Log. Meth. Comput. Sci.