TY  - RPRT
TI  - CAIR: Using Formal Languages to Study Routing, Leaking, and Interception in BGP
AU  - Johann Schlamp
AU  - Matthias Wählisch
AU  - Thomas C. Schmidt
AU  - Georg Carle
AU  - Ernst W. Biersack
PY  - 2016
UR  - https://arxiv.org/abs/1605.00618
ID  - 1605.00618
ER  -