Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Koh Aoki
Yan-Han Chew
Bhupendra Singh
David J. Westover
Chunhua Dong
Songhua Li
David R. Kohr Jr.
Sebastian Magda
David MacDonald
Maria Kateri
Home
/
Author
/
ZARKO MILOSEVIC
Author Info
Open Visualization
Name
Affiliation
Papers
ZARKO MILOSEVIC
École Polytechnique Fédérale de Lausanne
1
Collaborators
Citations
PageRank
6
0
0.34
Referers
Referees
References
0
0
0
Publications (1 rows)
Collaborators (6 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper).
0
0.34
2020
1