Efficient Synthesis of Network Updates
Journal Article
Overview
publication date
- June 1, 2015
Full Author List
- McClurg J; Hojjat H; Cerny P; Foster N
published in
- ACM Sigplan Notices Journal
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 196
end page
- 207
volume
- 50
issue
- 6