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