Nitin Shukla, Mayank Pandey, Shashank Srivastava. Formal modeling and verification of software-defined networks: A survey. Int. Journal of Network Management, 29(5), 2019. [doi]
@article{ShuklaPS19,
title = {Formal modeling and verification of software-defined networks: A survey},
author = {Nitin Shukla and Mayank Pandey and Shashank Srivastava},
year = {2019},
doi = {10.1002/nem.2082},
url = {https://doi.org/10.1002/nem.2082},
researchr = {https://researchr.org/publication/ShuklaPS19},
cites = {0},
citedby = {0},
journal = {Int. Journal of Network Management},
volume = {29},
number = {5},
}