@article{BEJM21,
  author    = {Michael Blondin and Javier Esparza and Stefan Jaax and
                  Philipp J. Meyer},
  title     = {Towards efficient verification of population protocols},
  journal   = {Formal Methods in System Design (FMSD)},
  volume    = {},
  number    = {},
  pages     = {},
  doi       = {10.1007/s10703-021-00367-3},
  year      = {2021}
}