MARÍA ISABEL
PITA ANDREU
Profesora titular de universidad
MARÍA INÉS
FERNÁNDEZ CAMACHO
Profesora titular de universidad
Publications by the researcher in collaboration with MARÍA INÉS FERNÁNDEZ CAMACHO (1)
2013
-
Formal specification of the Kademlia and the Kad routing tables in Maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)