@inproceedings{92261,
  author = {Divjyot Sethi and Srinivas Narayana and Sharad Malik},
  title = {Abstractions for model checking SDN controllers},
  year = {2013},
  journal = {Formal Methods in Computer-Aided Design (FMCAD), 2013},
  pages = {145{\textendash}148},
  publisher = {IEEE},
  language = {eng},
}