Визовитин, Н., Непомнящий, В., & Стененко, А. (2015). Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри. Кибернетика и системный анализ.
Chicago-Zitierstil (17. Ausg.)Визовитин, Н.В, В.А Непомнящий, und А.А Стененко. "Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри." Кибернетика и системный анализ 2015.
MLA-Zitierstil (8. Ausg.)Визовитин, Н.В, et al. "Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри." Кибернетика и системный анализ, 2015.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.