NetKAT: Semantic foundations for networks
- Carolyn Jane Anderson
- , Nate Foster
- , Arjun Guha
- , Jean Baptiste Jeannin
- , Dexter Kozen
- , Cole Schlesinger
- , David Walker
Research output: Contribution to journal › Article › peer-review
190
Link opens in a new tab
Scopus
citations