| Title | Formal Semantics and Automated Verification for the Border Gateway Protocol |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Weitz K, Woos D, Torlak E, Ernst MD, Krishnamurthy A, Tatlock Z |
| Conference Name | NetPL 2016: ACM SIGCOMM Workshop on Networking and Programming Languages (NetPL 2016) |
| Date or Month Published | August |
| Conference Location | Florianópolis, Brazil |
| Downloads | https://github.com/uwplse/uwplse-bagpipe Bagpipe implementation |
| Citation Key | WeitzWTEKT2016:NetPL |
