@inproceedings{BEJ18b,
  author    = {Michael Blondin and Javier Esparza and Stefan Jaax},
  title     = {Peregrine: A Tool for the Analysis of Population Protocols}, 
  booktitle = {Proc.\ $30^\text{th}$ International Conference on
                  Computer Aided Verification ({CAV})},
  pages     = {604--611},
  doi       = {10.1007/978-3-319-96145-3\_34},
  year      = {2018}
}