Concurrent Systems Research Group

 


@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 = {},
}