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.

Model Checking for Flexible Network Protocols

Andrew Johnson, Dennis Fetterly, Sean Song, Jonathan Zolla. Model Checking for Flexible Network Protocols. In Eva Darulova, Anthony W. Lin, Philipp Rümmer, editors, Computer Aided Verification - 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I. Volume 16682 of Lecture Notes in Computer Science, pages 136-150, Springer, 2026. [doi]

Authors

Andrew Johnson

This author has not been identified. Look up 'Andrew Johnson' in Google

Dennis Fetterly

This author has not been identified. Look up 'Dennis Fetterly' in Google

Sean Song

This author has not been identified. Look up 'Sean Song' in Google

Jonathan Zolla

This author has not been identified. Look up 'Jonathan Zolla' in Google
runs on