Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Popesko, U V https://www.mathnet.ru/eng/person108368 List of publications on Google Scholar Publications in Math-Net.Ru Citations 2014 1. V. V. Podymov, U. V. Popesko, “Uppaal-based verification of software-defined networks”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 2(193),  169–179   Organisations Lomonosov Moscow State University