Zorin Daniil Aleksandrovich

Publications in Math-Net.Ru

1. Simulated annealing algorithm in problems of multiprocessor scheduling
   
   Avtomat. i Telemekh., 2014, no. 10,  97–109
2. On the Designing of Model Checkers for Real-Time Distributed Systems
   
   Model. Anal. Inform. Sist., 19:6 (2012),  45–56