@inproceedings{TG19,
author = {Pierre Tholoniat and Vincent Gramoli},
title = {Formal Verification of Blockchain Byzantine Fault Tolerance},
booktitle = {6th Workshop on Formal Reasoning in Distributed Algorithms (FRIDA'19)},
publisher = {},
address = {},
editor = {},
volume = {},
series = {},
year = {2019},
month = {Oct},
pages = {},
url = {https://gramoli.redbellyblockchain.io/web/doc/pubs/frida19.pdf},
location = {},
}