%0 Journal Article %1 journals/ijnm/ShuklaPS19 %A Shukla, Nitin %A Pandey, Mayank %A Srivastava, Shashank %D 2019 %J Int. J. Netw. Manag. %K dblp %N 5 %T Formal modeling and verification of software-defined networks: A survey. %U http://dblp.uni-trier.de/db/journals/ijnm/ijnm29.html#ShuklaPS19 %V 29

@article{journals/ijnm/ShuklaPS19, added-at = {2023-09-30T00:00:00.000+0200}, author = {Shukla, Nitin and Pandey, Mayank and Srivastava, Shashank}, biburl = {https://www.bibsonomy.org/bibtex/2890cce75e62c47f28bef16f48e1debe3/dblp}, ee = {https://doi.org/10.1002/nem.2082}, interhash = {d9f83b65a4b2f6e8a0b5e9b39299358d}, intrahash = {890cce75e62c47f28bef16f48e1debe3}, journal = {Int. J. Netw. Manag.}, keywords = {dblp}, number = 5, timestamp = {2024-04-08T12:00:05.000+0200}, title = {Formal modeling and verification of software-defined networks: A survey.}, url = {http://dblp.uni-trier.de/db/journals/ijnm/ijnm29.html#ShuklaPS19}, volume = 29, year = 2019 }