Francisco Gutiérrez

Author Info

Publications (2 rows)

Collaborators (5 rows)

Referers (3 rows)

Referees (34 rows)

Title	Citations	PageRank	Year
On the Formal Analysis of P2P Algorithms with aSMoL and Maude.	0	0.34	2011
A formalization of the SMEPP model in Maude	2	0.36	2008