%0 Conference Paper %1 conf/icfp/SmolkaEFG15 %A Smolka, Steffen %A Eliopoulos, Spiridon Aristides %A Foster, Nate %A Guha, Arjun %B ICFP %D 2015 %E Fisher, Kathleen %E Reppy, John H. %I ACM %K dblp %P 328-341 %T A fast compiler for NetKAT. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2015.html#SmolkaEFG15 %@ 978-1-4503-3669-7

@inproceedings{conf/icfp/SmolkaEFG15, added-at = {2023-10-21T00:00:00.000+0200}, author = {Smolka, Steffen and Eliopoulos, Spiridon Aristides and Foster, Nate and Guha, Arjun}, biburl = {https://www.bibsonomy.org/bibtex/252108c6320df8e3161a2a00628369707/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/2015}, editor = {Fisher, Kathleen and Reppy, John H.}, ee = {https://www.wikidata.org/entity/Q122900694}, interhash = {6a4402a0adfd7b490f1ee1a06c14761f}, intrahash = {52108c6320df8e3161a2a00628369707}, isbn = {978-1-4503-3669-7}, keywords = {dblp}, pages = {328-341}, publisher = {ACM}, timestamp = {2024-04-09T17:31:12.000+0200}, title = {A fast compiler for NetKAT.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2015.html#SmolkaEFG15}, year = 2015 }