Gorlatch Sergei Petrovich

Publications in Math-Net.Ru

1. Autotuning parallel programs by model checking
   
   Model. Anal. Inform. Sist., 28:4 (2021),  338–355
2. Temporal logic for programmable logic controllers
   
   Model. Anal. Inform. Sist., 27:4 (2020),  412–427