@inproceedings{92256,
  author = {Shuyuan Zhang and Sharad Malik},
  title = {SAT based verification of network data planes},
  year = {2013},
  journal = {International Symposium on Automated Technology for Verification and Analysis},
  pages = {496{\textendash}505},
  publisher = {Springer International Publishing},
  language = {eng},
}