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.

VeriFlow: Verifying Network-Wide Invariants in Real Time

Ahmed Khurshid, Xuan Zou, Wenxuan Zhou, Matthew Caesar, Philip Brighten Godfrey. VeriFlow: Verifying Network-Wide Invariants in Real Time. In Nick Feamster, Jeffrey C. Mogul, editors, Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013, Lombard, IL, USA, April 2-5, 2013. pages 15-27, USENIX Association, 2013. [doi]

Authors

Ahmed Khurshid

This author has not been identified. Look up 'Ahmed Khurshid' in Google

Xuan Zou

This author has not been identified. Look up 'Xuan Zou' in Google

Wenxuan Zhou

This author has not been identified. Look up 'Wenxuan Zhou' in Google

Matthew Caesar

This author has not been identified. Look up 'Matthew Caesar' in Google

Philip Brighten Godfrey

This author has not been identified. Look up 'Philip Brighten Godfrey' in Google
runs on