%0 Conference Paper %1 conf/pldi/GuhaRF13 %A Guha, Arjun %A Reitblatt, Mark %A Foster, Nate %B PLDI %D 2013 %E Boehm, Hans-Juergen %E Flanagan, Cormac %I ACM %K dblp %P 483-494 %T Machine-verified network controllers. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2013.html#GuhaRF13 %@ 978-1-4503-2014-6

@inproceedings{conf/pldi/GuhaRF13, added-at = {2023-08-06T00:00:00.000+0200}, author = {Guha, Arjun and Reitblatt, Mark and Foster, Nate}, biburl = {https://www.bibsonomy.org/bibtex/21d81e516b5da55d4a7bac0aa3d20e034/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2013}, editor = {Boehm, Hans-Juergen and Flanagan, Cormac}, ee = {https://doi.org/10.1145/2499370.2462178}, interhash = {0b94ef3a46646f32acd67676d894e738}, intrahash = {1d81e516b5da55d4a7bac0aa3d20e034}, isbn = {978-1-4503-2014-6}, keywords = {dblp}, pages = {483-494}, publisher = {ACM}, timestamp = {2024-04-10T06:17:17.000+0200}, title = {Machine-verified network controllers.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2013.html#GuhaRF13}, year = 2013 }