External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verification of Computer Switching Networks: An Overview

Shuyuan Zhang, Sharad Malik, Rick McGeer. Verification of Computer Switching Networks: An Overview. In Supratik Chakraborty, Madhavan Mukund, editors, Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Volume 7561 of Lecture Notes in Computer Science, pages 1-16, Springer, 2012. [doi]

Authors

Shuyuan Zhang

This author has not been identified. Look up 'Shuyuan Zhang' in Google

Sharad Malik

This author has not been identified. Look up 'Sharad Malik' in Google

Rick McGeer

This author has not been identified. Look up 'Rick McGeer' in Google
runs on