Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Daniel P. Kennedy
Roland Zumkeller
Maximilian Dürr
Dan Graur
Liangliang Shang
bonho bae
Chen Ma
Barbara Aquilani
Vamis Xhagjika
Alexandr Chizhik
Home
/
Paper
/
On the Formal Analysis of P2P Algorithms with aSMoL and Maude.
Paper Info
Open Visualization
Title
On the Formal Analysis of P2P Algorithms with aSMoL and Maude.
Year
Venue
DocType
2011
CIbSE
Conference
Citations
PageRank
References
0
0.34
0
Authors
4
Authors (4 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Francisco Durán
1
2
1.04
Francisco Gutiérrez
2
2
0.70
Pablo López
3
0
0.34
Ernesto Pimentel
4
0
0.68
1
