%0 Journal Article %1 journals/dc/EsparzaJRW21 %A Esparza, Javier %A Jaax, Stefan %A Raskin, Mikhail A. %A Weil-Kennedy, Chana %D 2021 %J Distributed Comput. %K dblp %N 2 %P 133-177 %T The complexity of verifying population protocols. %U http://dblp.uni-trier.de/db/journals/dc/dc34.html#EsparzaJRW21 %V 34

@article{journals/dc/EsparzaJRW21, added-at = {2021-05-14T00:00:00.000+0200}, author = {Esparza, Javier and Jaax, Stefan and Raskin, Mikhail A. and Weil-Kennedy, Chana}, biburl = {https://www.bibsonomy.org/bibtex/2a3622f4732b4e1e161ed412926a3133e/dblp}, ee = {https://doi.org/10.1007/s00446-021-00390-x}, interhash = {6af02f84841f3d7539161d4ac2b544ef}, intrahash = {a3622f4732b4e1e161ed412926a3133e}, journal = {Distributed Comput.}, keywords = {dblp}, number = 2, pages = {133-177}, timestamp = {2024-04-08T16:09:30.000+0200}, title = {The complexity of verifying population protocols.}, url = {http://dblp.uni-trier.de/db/journals/dc/dc34.html#EsparzaJRW21}, volume = 34, year = 2021 }