@inproceedings{BEHKM20,
  author    = {Michael Blondin and Javier Esparza and Martin Helfrich
                  and Antonín Kučera and Philipp J. Meyer},
  title     = {Checking Qualitative Liveness Properties of Replicated
                  Systems with Stochastic Scheduling},
  booktitle = {Proc.\ $32^\text{nd}$ International Conference on
                  Computer-Aided Verification ({CAV})},
  pages     = {372--397},
  doi       = {10.1007/978-3-030-53291-8_20},
  year      = {2020}
}