@article {LMSMG11, title = {From Theory to Practice: Efficiently Checking BGP Configurations for Guaranteed Convergence}, journal = {IEEE Transaction on Network and Service Management}, volume = {8}, number = {4}, pages = {387-400}, author = {Luca Cittadini and Massimo Rimondini and Stefano Vissicchio and Matteo Corea and Giuseppe Di Battista}, year = {2011}, month = {December}, }