%0 Journal Article %1 journals/corr/abs-1910-04600 %A Blondin, Michael %A Esparza, Javier %A Genest, Blaise %A Helfrich, Martin %A Jaax, Stefan %D 2019 %J CoRR %K dblp %T Succinct Population Protocols for Presburger Arithmetic. %U http://dblp.uni-trier.de/db/journals/corr/corr1910.html#abs-1910-04600 %V abs/1910.04600

@article{journals/corr/abs-1910-04600, added-at = {2019-10-16T00:00:00.000+0200}, author = {Blondin, Michael and Esparza, Javier and Genest, Blaise and Helfrich, Martin and Jaax, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/20d7cafe05c754cd378238826ff0d8e28/dblp}, ee = {http://arxiv.org/abs/1910.04600}, interhash = {7f48756d3bbd26d7ffb2d99ce1067a1b}, intrahash = {0d7cafe05c754cd378238826ff0d8e28}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-10-17T11:38:16.000+0200}, title = {Succinct Population Protocols for Presburger Arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1910.html#abs-1910-04600}, volume = {abs/1910.04600}, year = 2019 }