Korolev Yurii Il'ich

Publications in Math-Net.Ru

1. Analysis and verification of process models in complex dynamic systems
   
   Artificial Intelligence and Decision Making, 2015, no. 1,  45–56