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]
@inproceedings{SunL19-14,
title = {Leveraging Rigorous Software Specification Towards Systematic Detection of SDN Control Conflicts (S)},
author = {Xin Sun and Lan Lin},
year = {2019},
doi = {10.18293/SEKE2019-014},
url = {https://doi.org/10.18293/SEKE2019-014},
researchr = {https://researchr.org/publication/SunL19-14},
cites = {0},
citedby = {0},
pages = {193-258},
booktitle = {The 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019},
editor = {Angelo Perkusich},
publisher = {KSI Research Inc. and Knowledge Systems Institute Graduate School},
isbn = {1-891706-48-9},
}