@inproceedings{Shukla_INFOCOM21,
TITLE = {Fix with {P6}: {V}erifying Programmable Switches at Runtime},
AUTHOR = {Shukla, Apoorv and Hudemann, Kevin Nico and V{\'a}gi, Zsolt and H{\"u}gerich, Lily and Smaragdakis, Georgios and Hecker, Artur and Schmid, Stefan and Feldmann, Anja},
LANGUAGE = {eng},
ISBN = {978-1-6654-0325-2},
DOI = {10.1109/INFOCOM42981.2021.9488772},
PUBLISHER = {IEEE},
YEAR = {2021},
BOOKTITLE = {IEEE INFOCOM 2021},
PAGES = {1--10},
ADDRESS = {Vancouver, Canada},
}