%0 Conference Paper %1 conf/wadt/PitaF12 %A Pita, Isabel %A Fernández-Camacho, María-Inés %B WADT %D 2012 %E Martí-Oliet, Narciso %E Palomino, Miguel %I Springer %K dblp %P 231-247 %T Formal Specification of the Kademlia and the Kad Routing Tables in Maude. %U http://dblp.uni-trier.de/db/conf/wadt/wadt2012.html#PitaF12 %V 7841 %@ 978-3-642-37635-1

@inproceedings{conf/wadt/PitaF12, added-at = {2018-06-26T00:00:00.000+0200}, author = {Pita, Isabel and Fernández-Camacho, María-Inés}, biburl = {https://www.bibsonomy.org/bibtex/21faec7556bba279f38adcc12e0fdb356/dblp}, booktitle = {WADT}, crossref = {conf/wadt/2012}, editor = {Martí-Oliet, Narciso and Palomino, Miguel}, ee = {https://doi.org/10.1007/978-3-642-37635-1_14}, interhash = {2a290590dccb5c415ec162fa19a3ab89}, intrahash = {1faec7556bba279f38adcc12e0fdb356}, isbn = {978-3-642-37635-1}, keywords = {dblp}, pages = {231-247}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:44:39.000+0200}, title = {Formal Specification of the Kademlia and the Kad Routing Tables in Maude.}, url = {http://dblp.uni-trier.de/db/conf/wadt/wadt2012.html#PitaF12}, volume = 7841, year = 2012 }