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  - 2024/12/22

ER  -