Моделирование Estelle-спецификаций распределенных систем с помощью раскрашенных сетей Петри : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.11
Моделирование Estelle-спецификаций распределенных систем с помощью раскрашенных сетей Петри : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.11