External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Analysis of a Proof-of-Stake Blockchain

Wai Yan Maung Maung Thin, Naipeng Dong, Guangdong Bai, Jin Song Dong. Formal Analysis of a Proof-of-Stake Blockchain. In 23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018, Melbourne, Australia, December 12-14, 2018. pages 197-200, IEEE, 2018. [doi]

Authors

Wai Yan Maung Maung Thin

This author has not been identified. Look up 'Wai Yan Maung Maung Thin' in Google

Naipeng Dong

This author has not been identified. Look up 'Naipeng Dong' in Google

Guangdong Bai

This author has not been identified. Look up 'Guangdong Bai' in Google

Jin Song Dong

This author has not been identified. Look up 'Jin Song Dong' in Google
runs on