Author Info
Name
Affiliation
Papers
SONG GAO
Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing, Peoples R China
1
Collaborators
Citations 
PageRank 
6
0
0.34
Referers 
Referees 
References 
0
0
0
Title
Citations
PageRank
Year
Formal Verification of Consensus in the Taurus Distributed Database00.342021