Bernadette Charron-Bost, Stephan Merz. Formal Verification of a Consensus Algorithm in the Heard-Of Model. Int. J. Software and Informatics, 3(2-3):273-303, 2009. [doi]
@article{Charron-BostM09,
title = {Formal Verification of a Consensus Algorithm in the Heard-Of Model},
author = {Bernadette Charron-Bost and Stephan Merz},
year = {2009},
url = {http://www.ijsi.org/IJSI/ch/reader/view_abstract.aspx?file_no=273&flag=1},
researchr = {https://researchr.org/publication/Charron-BostM09},
cites = {0},
citedby = {0},
journal = {Int. J. Software and Informatics},
volume = {3},
number = {2-3},
pages = {273-303},
}