Statistics
Publications
1
Citations
70
H-Index
1
Active since
2018
Affiliations
Griffith University(Current)
Wai Yan Maung Maung Thin is an author at Griffith University specializing in formal methods, formal verification, and distributed systems.
Publications per year
2018–2018
1
1
Formal Analysis of a Proof-of-Stake Blockchain
Wai Yan Maung Maung Thin, Naipeng Dong, Guangdong Bai et al. · 2018 · 70 citations · Full text
Blockchain, Blockchain Consensus Protocol, Consensus Protocol +11
1–1 of 1