Литвинов Юрий Викторович

Публикации в базе данных Math-Net.Ru

1. Обзор применения формальных методов в робототехнике
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2016, № 1(236),  84–107