@Inproceedings{EPTCS142.8,
  author    = {Noyes, Andrew and Warszawski, Todd  and \v{C}ern\'y, Pavol and Foster, Nate},
  year      = {2014},
  title     = {Toward Synthesis of Network Updates},
  editor    = {Finkbeiner, Bernd and Solar-Lezama, Armando},
  booktitle = {{\rm Proceedings Second Workshop on}
               Synthesis,
               {\rm Saint Petersburg, Russia, July 13th and July 14th, 2013}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {142},
  publisher = {Open Publishing Association},
  pages     = {8-23},
  doi       = {10.4204/EPTCS.142.8},
}