Vissza |
Lukács Dániel; Tejfel Máté; Pongrácz Gergely: Keeping P4 switches fast and fault-free through automatic verification. In: Acta cybernetica, (24) 1. pp. 61-81. (2019)
Lukács Dániel; Pongrácz Gergely; Tejfel Máté: Keeping P4 switches fast and fault-free through automatic verification.