@inproceedings{92201,
  author = {Shuyuan Zhang and Sharad Malik and Rick McGeer},
  title = {Verification of computer switching networks: An overview},
  year = {2012},
  journal = {International Symposium on Automated Technology for Verification and Analysis},
  pages = {1{\textendash}16},
  publisher = {Springer Berlin Heidelberg},
  language = {eng},
}