@inproceedings{92296,
  author = {Ryan Beckett and Xuan Kelvin Zou and Shuyuan Zhang and Sharad Malik and Jennifer Rexford and David Walker},
  title = {An assertion language for debugging SDN applications},
  year = {2014},
  journal = {Proceedings of the third workshop on Hot topics in software defined networking},
  pages = {91{\textendash}96},
  publisher = {ACM},
  language = {eng},
}