%0 Journal Article %1 journals/corr/abs-1804-01468 %A Kheradmand, Ali %A Rosu, Grigore %D 2018 %J CoRR %K dblp %T P4K: A Formal Semantics of P4 and Applications. %U http://dblp.uni-trier.de/db/journals/corr/corr1804.html#abs-1804-01468 %V abs/1804.01468

@article{journals/corr/abs-1804-01468, added-at = {2018-08-13T00:00:00.000+0200}, author = {Kheradmand, Ali and Rosu, Grigore}, biburl = {https://www.bibsonomy.org/bibtex/25102fef5ab619ea6934abde0d3d85974/dblp}, ee = {http://arxiv.org/abs/1804.01468}, interhash = {4297e0a3867eb1b0420f6b7ae2c447a0}, intrahash = {5102fef5ab619ea6934abde0d3d85974}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T14:46:45.000+0200}, title = {P4K: A Formal Semantics of P4 and Applications.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1804.html#abs-1804-01468}, volume = {abs/1804.01468}, year = 2018 }