CAIR: Using Formal Languages to Study Routing, Leaking, and Interception in BGP Schlamp, Johann Wählisch, Matthias Schmidt, Thomas Carle, Georg Biersack, Ernst W. 2016 - ReposIt
