Filip Mazowiecki

Latest

• Affine Extensions of Integer Vector Addition Systems with States
• Affine Extensions of Integer Vector Addition Systems with States