Geometry of Reachability Sets of Vector Addition Systems
R. Guttenberg, M. Raskin, and J. Esparza. 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium, volume 279 of LIPIcs, page 6:1--6:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)
DOI: 10.4230/LIPIcs.CONCUR.2023.6
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 DBLP:conf/concur/GuttenbergRE23
%A Guttenberg, Roland
%A Raskin, Mikhail A.
%A Esparza, Javier
%B 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium
%D 2023
%E Pérez, Guillermo A.
%E Raskin, Jean-Francois
%I Schloss Dagstuhl - Leibniz-Zentrum für Informatik
%K conference
%P 6:1--6:16
%R 10.4230/LIPIcs.CONCUR.2023.6
%T Geometry of Reachability Sets of Vector Addition Systems
%U https://doi.org/10.4230/LIPIcs.CONCUR.2023.6
%V 279
@inproceedings{DBLP:conf/concur/GuttenbergRE23,
added-at = {2023-09-24T15:21:27.000+0200},
author = {Guttenberg, Roland and Raskin, Mikhail A. and Esparza, Javier},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://www.bibsonomy.org/bibtex/2219d92c9b0c5779d94355ff3b704b798/paves},
booktitle = {34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium},
doi = {10.4230/LIPIcs.CONCUR.2023.6},
editor = {Pérez, Guillermo A. and Raskin, Jean-Francois},
interhash = {ff3fc8a2e40b1eb2dfb35a6fc6a6543f},
intrahash = {219d92c9b0c5779d94355ff3b704b798},
keywords = {conference},
pages = {6:1--6:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
series = {LIPIcs},
timestamp = {2023-09-24T16:27:31.000+0200},
title = {Geometry of Reachability Sets of Vector Addition Systems},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.6},
volume = 279,
year = 2023
}