TY - CONF T1 - Formal Modeling and Verification of a Federated Byzantine Agreement Algorithm for Blockchain Platforms JO - 2019 IEEE International Workshop on Blockchain Oriented Software Engineering (IWBOSE) PY - 2019/03/12 AU - Yoo J AU - Jung Y AU - Shin D AU - Bae M AU - Jee E ED - DO - DOI: 10.1109/iwbose.2019.8666514 PB - IEEE Y2 - 2025/06/24 ER -