@misc{indiciae93bb0ca8dd97,
  title = {Verification of Immediate Observation Population Protocols},
  author = {Javier Esparza and Pierre Ganty and Rupak Majumdar and Chana Weil-Kennedy},
  year = {2018},
  url = {https://arxiv.org/abs/1807.06071},
  note = {Source identifier: 1807.06071}
}