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.

BigBug: Practical Concurrency Analysis for SDN

Roman May, Ahmed El-Hassany, Laurent Vanbever, Martin T. Vechev. BigBug: Practical Concurrency Analysis for SDN. In Proceedings of the Symposium on SDN Research, SOSR 2017, Santa Clara, CA, USA, April 3-4, 2017. pages 88-94, ACM, 2017. [doi]

Authors

Roman May

This author has not been identified. Look up 'Roman May' in Google

Ahmed El-Hassany

This author has not been identified. Look up 'Ahmed El-Hassany' 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