%0 Journal Article %1 Merz09 %A Charron-Bost, Stephan Merz Bernadette %D 2009 %E xx, %K consensus distributed faulttolerant homodel isabelle verification %T Formal Verification of a Consensus Algorithm in the Heard-Of Model

@article{Merz09, added-at = {2010-01-26T17:11:42.000+0100}, author = {Charron-Bost, Stephan Merz Bernadette}, biburl = {https://www.bibsonomy.org/bibtex/2a9a613e672d93f91e95db8720ef467c0/giuliano.losa}, description = {Formal Verification of a Consensus Algorithm in the Heard-Of Model}, editor = {xx}, interhash = {bb95d7badf07d7e5f5b11981e974317a}, intrahash = {a9a613e672d93f91e95db8720ef467c0}, keywords = {consensus distributed faulttolerant homodel isabelle verification}, timestamp = {2010-01-26T17:13:28.000+0100}, title = {Formal Verification of a Consensus Algorithm in the Heard-Of Model}, year = 2009 }