@misc{indiciae08863e2a1b2d,
  title = {Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking},
  author = {Étienne André and Laurent Fribourg and Jean-Marc Mota and Romain Soulat},
  year = {2018},
  doi = {10.1007/978-3-030-11245-5\_19},
  url = {https://arxiv.org/abs/1812.08949},
  note = {Source identifier: 1812.08949}
}