|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2011 |
1. |
Д. М. Белоглазов, М. Ю. Машуков, В. А. Непомнящий, “Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри”, Модел. и анализ информ. систем, 18:4 (2011), 144–156 |
1
|
|