@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} }