Efficient Synthesis of Network Updates Journal Article

Overview

CU Boulder Authors

• Cerny, Pavol

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)

• 10.1145/2737924.2737980

Additional Document Info

start page

• 196

end page

• 207

volume

• 50

issue

• 6