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.

Debugging Network Reachability with Blocked Paths

Sam Bayless, John D. Backes, D. DaCosta, B. F. Jones, N. Launchbury, P. Trentin, K. Jewell, S. Joshi, M. Q. Zeng, N. Mathews. Debugging Network Reachability with Blocked Paths. In Alexandra Silva 0001, K. Rustan M. Leino, editors, Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II. Volume 12760 of Lecture Notes in Computer Science, pages 851-862, Springer, 2021. [doi]

Authors

Sam Bayless

This author has not been identified. Look up 'Sam Bayless' in Google

John D. Backes

This author has not been identified. Look up 'John D. Backes' in Google

D. DaCosta

This author has not been identified. Look up 'D. DaCosta' in Google

B. F. Jones

This author has not been identified. Look up 'B. F. Jones' in Google

N. Launchbury

This author has not been identified. Look up 'N. Launchbury' in Google

P. Trentin

This author has not been identified. Look up 'P. Trentin' in Google

K. Jewell

This author has not been identified. Look up 'K. Jewell' in Google

S. Joshi

This author has not been identified. Look up 'S. Joshi' in Google

M. Q. Zeng

This author has not been identified. Look up 'M. Q. Zeng' in Google

N. Mathews

This author has not been identified. Look up 'N. Mathews' in Google
runs on