LibBFT: A High-Performace Timed Automata Library Collection for Byzantine Fault Tolerance.

Rodolfo Pereira Araujo, Igor Machado Coelho, Luiz Satoru Ochi, Vitor Nazrio Coelho

Browse the full SBAC-PAD paper archive.