Keeping P4 Switches Fast and Fault-free through Automatic Verification.

Saved in:

Bibliographic Details
Title:	Keeping P4 Switches Fast and Fault-free through Automatic Verification.
Authors:	Lukács, Dániel¹ dlukacs@caesar.elte.hu, Pongrácz, Gergely Gergely.Pongracz@ericsson.com, Tejfel, Máté¹ matejg@caesar.elte.hu
Source:	Acta Cybernetica. 2019, Vol. 24 Issue 1, p61-81. 21p.
Database:	Mathematics Source

Description
ISSN:	0324721X
DOI:	10.14232/actacyb.24.1.2019.6