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.

Network-Wide Configuration Synthesis

Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin T. Vechev. Network-Wide Configuration Synthesis. In Rupak Majumdar, Viktor Kuncak, editors, Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II. Volume 10427 of Lecture Notes in Computer Science, pages 261-281, Springer, 2017. [doi]

Authors

Ahmed El-Hassany

This author has not been identified. Look up 'Ahmed El-Hassany' in Google

Petar Tsankov

This author has not been identified. Look up 'Petar Tsankov' in Google

Laurent Vanbever

This author has not been identified. Look up 'Laurent Vanbever' in Google

Martin T. Vechev

This author has not been identified. Look up 'Martin T. Vechev' in Google
runs on