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]
No references recorded for this publication.
No citations of this publication recorded.