@inproceedings{rakotondravony18visualizing,
  author = {Rakotondravony, Noƫlle and Reiser, Hans P.},
  title = {Visualizing {BFT SMR} distributed systems -- example of {BFT-SMaRt}},
  keywords = {OptScore},
  booktitle = {DSN Workshop on Byzantine Consensus and Resilient Blockchains},
  year = {2018},
  doi = {10.1109/DSN-W.2018.00055}
}