Demo: Fast Routing-Loops Identification in Multi-Protocol Multi-Instance IP Networks. - Youcef Magnouche; Sébastien Martin; Jérémie Leguay; Mei Cong 001; Guofeng Qian (ICNP, 2024)

Scalable Verification of Routing Loops in Multi-Protocol Multi-Instance IP Networks. - Youcef Magnouche; Sébastien Martin; Jérémie Leguay; Cong Mei 001 (ITC-36, 2025)