@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"
}