Login
- Titel:
Affine Extensions of Integer Vector Addition Systems with States
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Blondin, Michael; Haase, Christoph; Mazowiecki, Filip; Raskin, Mikhail
- Zeitschriftentitel:
- Logical Methods in Computer Science
- Jahr:
- 2021
- Band / Volume:
- Volume 17, Issue 3
- Volltext / DOI:
- doi:10.46298/lmcs-17(3:1)2021
- Verlag / Institution:
- Centre pour la Communication Scientifique Directe (CCSD)
- E-ISSN:
- 1860-5974
- Publikationsdatum:
- 20.07.2021
BibTeX