Inproceedings,
A fast compiler for NetKAT.
S. Smolka, S. Eliopoulos, N. Foster, and A. Guha.ICFP, page 328-341. ACM, (2015)
Meta data
- BibTeX key
- conf/icfp/SmolkaEFG15
- entry type
- inproceedings
- booktitle
- ICFP
- year
- 2015
- pages
- 328-341
- publisher
- ACM
- crossref
- conf/icfp/2015
- ee
- https://www.wikidata.org/entity/Q122900694
- isbn
- 978-1-4503-3669-7
- url
- http://dblp.uni-trier.de/db/conf/icfp/icfp2015.html#SmolkaEFG15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}