%0 Conference Paper %1 BlondinEGHJ20 %A Blondin, Michael %A Esparza, Javier %A Genest, Blaise %A Helfrich, Martin %A Jaax, Stefan %B 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020, March 10-13, 2020, Montpellier, France %D 2020 %E Paul, Christophe %E Bläser, Markus %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K conference %P 40:1-40:15 %R 10.4230/LIPIcs.STACS.2020.40 %T Succinct Population Protocols for Presburger Arithmetic %U https://drops.dagstuhl.de/opus/volltexte/2020/11901/ %V 154 %@ 978-3-95977-140-5

@inproceedings{BlondinEGHJ20, added-at = {2022-11-16T16:00:49.000+0100}, author = {Blondin, Michael and Esparza, Javier and Genest, Blaise and Helfrich, Martin and Jaax, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2c1246c1772b965ee1833ea7b118052f9/paves}, booktitle = {37th International Symposium on Theoretical Aspects of Computer Science, {STACS} 2020, March 10-13, 2020, Montpellier, France}, dblp_id = {conf/stacs/BlondinEGHJ20}, doi = {10.4230/LIPIcs.STACS.2020.40}, editor = {Paul, Christophe and Bläser, Markus}, ee = {https://doi.org/10.4230/LIPIcs.STACS.2020.40}, interhash = {230c644b131b1ac85ebfc76b18c8d8b5}, intrahash = {c1246c1772b965ee1833ea7b118052f9}, isbn = {978-3-95977-140-5}, keywords = {conference}, month = {March}, pages = {40:1-40:15}, preprint = {https://arxiv.org/abs/1910.04600}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2023-09-24T18:55:07.000+0200}, title = {Succinct Population Protocols for Presburger Arithmetic}, url = {https://drops.dagstuhl.de/opus/volltexte/2020/11901/}, volume = 154, year = 2020 }