Browsing by Author Jeannin, Jean-Baptiste
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 |