|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2014 |
| 1. |
В. В. Подымов, У. В. Попеско, “Верификация программно-конфигурируемых сетей при помощи системы UPPAAL”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 2(193), 169–179 |
|