Browsing by Author Kozen, Dexter
Showing results 1 to 1 of 1
| Publication Date | Article Title | Author(s) |
|---|---|---|
| Jan-2014 | NetKAT: semantic foundations for networks | Anderson, Carolyn J; Foster, Nate; Guha, Arjun; Jeannin, Jean-Baptiste; Kozen, Dexter; et al |