Chemeritsky Evgenii Viktorovich

Publications in Math-Net.Ru

1. Vermont – a toolset for verification of software defined networks
   
   St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2015, no. 1(212),  74–87
2. On the update problems for software defined networks
   
   Model. Anal. Inform. Sist., 21:6 (2014),  57–70
3. A Formal Model and Verification Problems for Software Defined Networks
   
   Model. Anal. Inform. Sist., 20:6 (2013),  36–51