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.

Leveraging Rigorous Software Specification Towards Systematic Detection of SDN Control Conflicts (S)

Xin Sun, Lan Lin. Leveraging Rigorous Software Specification Towards Systematic Detection of SDN Control Conflicts (S). In Angelo Perkusich, editor, The 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019. pages 193-258, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2019. [doi]

Authors

Xin Sun

This author has not been identified. Look up 'Xin Sun' in Google

Lan Lin

This author has not been identified. Look up 'Lan Lin' in Google
runs on