@inproceedings{BEK18,
  author    = {Michael Blondin and Javier Esparza and Antonín Kučera},
  title     = {Automatic Analysis of Expected Termination Time for
                  Population Protocols}, 
  booktitle = {Proc.\ $29^\text{th}$ International Conference on
                  Concurrency Theory ({CONCUR})},
  pages     = {33:1--33:16},
  doi       = {10.4230/LIPIcs.CONCUR.2018.33},
  year      = {2018}
}