Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
Реализация редактора сетей Петри в системе QReal. / Литвинов, Юрий Викторович; Тарасова, Полина Максимовна.
Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, 2016. стр. 84-85.Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
}
TY - GEN
T1 - Реализация редактора сетей Петри в системе QReal
AU - Литвинов, Юрий Викторович
AU - Тарасова, Полина Максимовна
PY - 2016
Y1 - 2016
M3 - статья в сборнике материалов конференции
SP - 84
EP - 85
BT - Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования"
PB - Издательство Санкт-Петербургского Государственного Политехнического Университета
ER -
ID: 16060789