Гнесюк, Б. А. and Супруненко, О. О. (2013) Методи динамічної верифікації програмного коду на основі інтерпретацій мереж Петрі. Восточно-европейский журнал передовых технологий (№ 1/2). pp. 24-27.
