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)

UR  - https://doi.org/10.1109/iwbose.2019.8666514

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

SP  - 11

EP  - 21

Y2  - 2025/11/28

ER  -