A formal model and verification problems for software defined networks. - Vladimir A. Zakharov; R. L. Smelyansky; Eugene V. Chemeritsky (Autom. Control. Comput. Sci., 2014)

On network update problems for software defined networks. - Evgeny V. Chemeritskiy; Vladimir A. Zakharov (Autom. Control. Comput. Sci., 2015)