Reachability in Fixed Dimension Vector Addition Systems with States
Domaines
![]()
Cite 10.4230/LIPIcs.CONCUR.2020.48 Autre Czerwiński, W., Lasota, S., Lazić, R., Leroux, J., & Mazowiecki, F. (2020). Reachability in Fixed Dimension Vector Addition Systems with States. Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2020.48