×

Found 5 Documents (Results 1–5)

Genesis: synthesizing forwarding tables in multi-tenant networks. (English) Zbl 1380.68134

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 562-585 (2017).
MSC:  68N30 68M10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Volume

Year of Publication

all top 3

Main Field

Software