论文信息 - Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper) - 字舞流文

Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper)

Igor Konnov | Josef Widder | Sean Braithwaite | Ethan Buchman | Zarko Milosevic | Ilina Stoilkovska | Anca Zamfir | I. Konnov | Ethan Buchman | Zarko Milosevic | Josef Widder | Ilina Stoilkovska | Sean Braithwaite | A. Zamfir