В связи с техническими работами в центре обработки данных, возможность загрузки и скачивания файлов временно недоступна.
 

Верификация программно-конфигурируемых сетей при помощи системы UPPAALдоклад на конференции