Succinct Population Protocols for Presburger Arithmetic
M. Blondin, J. Esparza, B. Genest, M. Helfrich, and S. Jaax. 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020, March 10-13, 2020, Montpellier, France, volume 154 of LIPIcs, page 40:1-40:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (March 2020)
DOI: 10.4230/LIPIcs.STACS.2020.40
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 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
}