Визовитин, Н., Непомнящий, В., & Стененко, А. (2015). Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри. Кибернетика и системный анализ.
Chicago Style (17th ed.) CitationВизовитин, Н.В, В.А Непомнящий, and А.А Стененко. "Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри." Кибернетика и системный анализ 2015.
MLA (8th ed.) CitationВизовитин, Н.В, et al. "Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри." Кибернетика и системный анализ, 2015.
Warning: These citations may not always be 100% accurate.