Altukhov Viktor Sergeevich

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