TY  - RPRT
TI  - Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking
AU  - Étienne André
AU  - Laurent Fribourg
AU  - Jean-Marc Mota
AU  - Romain Soulat
PY  - 2018
DO  - 10.1007/978-3-030-11245-5_19
UR  - https://arxiv.org/abs/1812.08949
ID  - 1812.08949
ER  -