Zhukovskaya Aleksandra Olegovna

Publications in Math-Net.Ru

1. Identification method for invertible finite state machine with known output function
   
   Prikl. Diskr. Mat. Suppl., 2017, no. 10,  140–142
2. About simple conditional experiments identifying invertible automata of a certain class
   
   Prikl. Diskr. Mat. Suppl., 2016, no. 9,  115
3. Operational semantics for LYaPAS
   
   Prikl. Diskr. Mat. Suppl., 2015, no. 8,  131–132
4. Development of automated means for proving programs properties
   
   Prikl. Diskr. Mat. Suppl., 2014, no. 7,  148–150