João Luis Sobrinho, Ricardo Pestana Santos. Correctness of EIGRP Generalized for Arbitrary Routing Metrics and Policies. In 31st IEEE International Conference on Network Protocols, ICNP 2023, Reykjavik, Iceland, October 10-13, 2023. pages 1-11, IEEE, 2023. [doi]
Abstract is missing.