Белоглазов Дмитрий Михайлович

Публикации в базе данных Math-Net.Ru

1. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений
   
   Тр. СПИИРАН, 26 (2013),  349–383
2. Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри
   
   Модел. и анализ информ. систем, 18:4 (2011),  144–156