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