Sobolev Mikhail Sergeevich

Publications in Math-Net.Ru

1. Using X-CTL logic to implement  formal verification of X-machines
   
   Informatsionnye Tekhnologii i Vychslitel'nye Sistemy, 2010, no. 3,  47–52
2. The X-Machine description of a system
   
   Informatsionnye Tekhnologii i Vychslitel'nye Sistemy, 2009, no. 4,  22–27