@inproceedings{BEJM17, 
  author    = {Michael Blondin and Javier Esparza and Stefan Jaax and
                  Philipp J. Meyer},
  title     = {Towards Efficient Verification of Population Protocols}, 
  booktitle = {Proc.\ $36^\text{th}$ ACM Symposium on Principles of
                  Distributed Computing ({PODC})},
  pages     = {423--430},
  doi       = {10.1145/3087801.3087816},
  year      = {2017}
}