Blondin, Michael; Haase, Christoph; Mazowiecki, Filip; Raskin, Mikhail Affine extensions of integer vector addition systems with states. (English) Zbl 07407773 Log. Methods Comput. Sci. 17, No. 3, Paper No. 1, 26 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{M. Blondin} et al., Log. Methods Comput. Sci. 17, No. 3, Paper No. 1, 26 p. (2021; Zbl 07407773) Full Text: arXiv Link
Blondin, Michael; Haase, Christoph; Mazowiecki, Filip Affine extensions of integer vector addition systems with states. (English) Zbl 1520.68088 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 14, 17 p. (2018). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Blondin} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 14, 17 p. (2018; Zbl 1520.68088) Full Text: DOI