%0 Journal Article %1 journals/cacm/DobrescuA15 %A Dobrescu, Mihai %A Argyraki, Katerina J. %D 2015 %J Commun. ACM %K dblp %N 11 %P 113-121 %T Software dataplane verification. %U http://dblp.uni-trier.de/db/journals/cacm/cacm58.html#DobrescuA15 %V 58

@article{journals/cacm/DobrescuA15, added-at = {2024-02-05T00:00:00.000+0100}, author = {Dobrescu, Mihai and Argyraki, Katerina J.}, biburl = {https://www.bibsonomy.org/bibtex/212bc91ed415a6c5b209c42d2f78d2de1/dblp}, ee = {https://doi.org/10.1145/2823400}, interhash = {8a540ab6f887684a50321cca3d9827ac}, intrahash = {12bc91ed415a6c5b209c42d2f78d2de1}, journal = {Commun. ACM}, keywords = {dblp}, number = 11, pages = {113-121}, timestamp = {2024-04-09T02:11:40.000+0200}, title = {Software dataplane verification.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm58.html#DobrescuA15}, volume = 58, year = 2015 }