Лукьянова, Е. (2014). Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем. Проблеми програмування.
Чикаго стиль цитування (17-те видання)Лукьянова, Е.А. "Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем." Проблеми програмування 2014.
Стиль цитування MLA (8-ме видання)Лукьянова, Е.А. "Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем." Проблеми програмування, 2014.
Попередження: стилі цитування не завжди правильні на всі 100%.