Lukács, D., Tejfel, M. and Pongrácz, G. 2019. Keeping P4 Switches Fast and Fault-free through Automatic Verification. Acta Cybernetica. 24, 1 (May 2019), 61-81. DOI:https://doi.org/10.14232/actacyb.24.1.2019.6.