@INPROCEEDINGS {40806,
author={J. L. S. Sobrinho and R. S. Santos},
doi={},
booktitle={IEEE International Conference on Network Protocols ICNP},
title={Correctness of EIGRP generalized for arbitrary routing metrics and policies },
year={2023},
month={October},
volume={},
pages={-} 
}