%0 Conference Paper %1 conf/cav/BraithwaiteB0MS20 %A Braithwaite, Sean %A Buchman, Ethan %A Konnov, Igor %A Milosevic, Zarko %A Stoilkovska, Ilina %A Widder, Josef %A Zamfir, Anca %B FMBC@CAV %D 2020 %E Bernardo, Bruno %E Marmsoler, Diego %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 10:1-10:8 %T Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper). %U http://dblp.uni-trier.de/db/conf/cav/fmbc2020.html#BraithwaiteB0MS20 %V 84 %@ 978-3-95977-169-6

@inproceedings{conf/cav/BraithwaiteB0MS20, added-at = {2023-09-30T00:00:00.000+0200}, author = {Braithwaite, Sean and Buchman, Ethan and Konnov, Igor and Milosevic, Zarko and Stoilkovska, Ilina and Widder, Josef and Zamfir, Anca}, biburl = {https://www.bibsonomy.org/bibtex/262f5b9103436bd57b9c346521c78c060/dblp}, booktitle = {FMBC@CAV}, crossref = {conf/cav/2020fmbc}, editor = {Bernardo, Bruno and Marmsoler, Diego}, ee = {https://doi.org/10.4230/OASIcs.FMBC.2020.10}, interhash = {64077ac4223e37f11c144ad4354a96ef}, intrahash = {62f5b9103436bd57b9c346521c78c060}, isbn = {978-3-95977-169-6}, keywords = {dblp}, pages = {10:1-10:8}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {OASIcs}, timestamp = {2024-08-26T07:29:12.000+0200}, title = {Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper).}, url = {http://dblp.uni-trier.de/db/conf/cav/fmbc2020.html#BraithwaiteB0MS20}, volume = 84, year = 2020 }