%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 }