TY  - JOUR
AU  - Riesco Rodríguez, Adrián
AU  - Verdejo López, José Alberto
PY  - 2007
UR  - https://hdl.handle.net/20.500.14352/52663
T2  - Informe Técnico
AB  - The Enhanced Interior Gateway Routing Protocol (EIGRP) is an advanced distance-vector routing protocol, with optimizations to minimize both the routing instability incurred after topology changes, as well as the use of bandwidth and processing power...
LA  - spa
KW  - EIGRP
KW  - distributed applications
KW  - formal analysis
KW  - Maude
KW  - Real-Time Maude
TI  - The EIGRP Protocol in Maude
TY  - journal article
ER  -