Визовитин, Н., Непомнящий, В., & Стененко, А. (2015). Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри. Кибернетика и системный анализ.
Чикаго стиль цитування (17-те видання)Визовитин, Н.В, В.А Непомнящий, та А.А Стененко. "Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри." Кибернетика и системный анализ 2015.
Стиль цитування MLA (8-ме видання)Визовитин, Н.В, et al. "Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри." Кибернетика и системный анализ, 2015.
Попередження: стилі цитування не завжди правильні на всі 100%.