On the feasibility of static analysis for BGP convergence. - Luca Cittadini; Massimo Rimondini; Matteo Corea; Giuseppe Di Battista (Integrated Network Management, 2009)

From Theory to Practice: Efficiently Checking BGP Configurations for Guaranteed Convergence. - Luca Cittadini; Massimo Rimondini; Stefano Vissicchio; Matteo Corea; Giuseppe Di Battista (IEEE Trans. Netw. Serv. Manag., 2011)