User: Guest  Login
If you experience problems opening the document, please try this link.
Document type:
Zeitschriftenaufsatz
Author(s):
Blondin, Michael; Haase, Christoph; Mazowiecki, Filip; Raskin, Mikhail
Title:
Affine Extensions of Integer Vector Addition Systems with States
Journal title:
Logical Methods in Computer Science
Year:
2021
Journal volume:
Volume 17, Issue 3
Fulltext / DOI:
doi:10.46298/lmcs-17(3:1)2021
Publisher:
Centre pour la Communication Scientifique Directe (CCSD)
E-ISSN:
1860-5974
Date of publication:
20.07.2021
 BibTeX