Формальные модели и анализ корректности параллельных систем и систем реального времени : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 05.13.11
Формальные модели и анализ корректности параллельных систем и систем реального времени : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 05.13.11