Chebotarev Anatolii Nikolaevich

Publications in Math-Net.Ru

1. Regular form of deterministic FSMs specifications in the language L
   
   Prikl. Diskr. Mat., 2010, no. 4(10),  64–72
2. Solving inequalities over finite state machines in the reactive systems design
   
   Prikl. Diskr. Mat., 2010, no. 3(9),  100–110