%0 Conference Paper %1 conf/sbac-pad/AraujoCOC19 %A Araujo, Rodolfo Pereira %A Coelho, Igor Machado %A Ochi, Luiz Satoru %A Coelho, Vitor Nazário %B SBAC-PAD %D 2019 %I IEEE %K dblp %P 234-240 %T LibBFT: A High-Performace Timed Automata Library Collection for Byzantine Fault Tolerance. %U http://dblp.uni-trier.de/db/conf/sbac-pad/sbac-pad2019.html#AraujoCOC19 %@ 978-1-7281-4194-7

@inproceedings{conf/sbac-pad/AraujoCOC19, added-at = {2019-12-19T00:00:00.000+0100}, author = {Araujo, Rodolfo Pereira and Coelho, Igor Machado and Ochi, Luiz Satoru and Coelho, Vitor Nazário}, biburl = {https://www.bibsonomy.org/bibtex/286aac95a57b3494158764e9987803fdd/dblp}, booktitle = {SBAC-PAD}, crossref = {conf/sbac-pad/2019}, ee = {https://doi.org/10.1109/SBAC-PAD.2019.00045}, interhash = {2ef3046d7005d31c199d5e8b4fd2fdec}, intrahash = {86aac95a57b3494158764e9987803fdd}, isbn = {978-1-7281-4194-7}, keywords = {dblp}, pages = {234-240}, publisher = {IEEE}, timestamp = {2019-12-20T11:46:58.000+0100}, title = {LibBFT: A High-Performace Timed Automata Library Collection for Byzantine Fault Tolerance.}, url = {http://dblp.uni-trier.de/db/conf/sbac-pad/sbac-pad2019.html#AraujoCOC19}, year = 2019 }