Metadata only
Date
2016Type
- Conference Paper
Citations
Cited 15 times in
Web of Science
Cited 27 times in
Scopus
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Book title
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and ImplementationPages / Article No.
Publisher
ACMEvent
Subject
Software Defined Networking; OpenFlow; Commutativity Specification; Happens-before; NondeterminismOrganisational unit
03948 - Vechev, Martin / Vechev, Martin
09477 - Vanbever, Laurent / Vanbever, Laurent
Related publications and datasets
Is cited by: https://doi.org/10.3929/ethz-b-000498126
More
Show all metadata
Citations
Cited 15 times in
Web of Science
Cited 27 times in
Scopus
ETH Bibliography
yes
Altmetrics