


default search action
"Formal Analysis of a Proof-of-Stake Blockchain."
Wai Yan Maung Maung Thin et al. (2018)
- Wai Yan Maung Maung Thin, Naipeng Dong
, Guangdong Bai
, Jin Song Dong:
Formal Analysis of a Proof-of-Stake Blockchain. ICECCS 2018: 197-200

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.