A formal model and verification problems for software defined networks
Crossref DOI link: https://doi.org/10.3103/S0146411614070165
Published Online: 2015-02-01
Published Print: 2014-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Zakharov, V. A.
Smelyansky, R. L.
Chemeritsky, E. V.
Text and Data Mining valid from 2014-12-01