@article{MAIS_2013_20_6_a2,
     author = {V. A. Zakharov and R. L. Smelyansky and E. V. Chemeritsky},
     title = {A {Formal} {Model} and {Verification} {Problems} for {Software} {Defined} {Networks}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {36--51},
     publisher = {mathdoc},
     volume = {20},
     number = {6},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2013_20_6_a2/}
}