TY  - RPRT
TI  - LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification
AU  - Alan Tang
AU  - Ryan Beckett
AU  - Steven Benaloh
AU  - Karthick Jayaraman
AU  - Tejas Patil
AU  - Todd Millstein
AU  - George Varghese
PY  - 2023
DO  - 10.1145/3603269.3604842
UR  - https://arxiv.org/abs/2204.09635
ID  - 2204.09635
ER  -