Zhang, Shuyuan, Sharad Malik, and Rick McGeer. 2012. “Verification of Computer Switching Networks: An Overview”. In International Symposium on Automated Technology for Verification and Analysis, 1–16. Springer Berlin Heidelberg.
Rick McGeer
First name
Rick
Last name
McGeer