Skip to main content

Affine Extensions of Integer Vector Addition Systems with States

Michael Blondin‚ Christoph Haase and Filip Mazowiecki

Book Title
Concurrency Theory‚ CONCUR
Pages
14:1–14:17
Publisher
Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik
Series
LIPIcs
Volume
118
Year
2018