Kubasov Sergey Valeryevich

Publications in Math-Net.Ru

1. Verification of Synchronous-automaton Programs using LTL
   
   Model. Anal. Inform. Sist., 15:2 (2008),  46–49
2. Verification of synchronous-automaton programs
   
   Model. Anal. Inform. Sist., 14:4 (2007),  20–27
3. Synchronous model of automaton program
   
   Model. Anal. Inform. Sist., 14:1 (2007),  11–18