Горлач Сергей Петрович

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

1. Autotuning parallel programs by model checking
   
   Модел. и анализ информ. систем, 28:4 (2021),  338–355
2. Темпоральная логика для программируемых логических контроллеров
   
   Модел. и анализ информ. систем, 27:4 (2020),  412–427