Vasil'eva K A

Publications in Math-Net.Ru

1. LTL Verification of Automaton Programs
   
   Model. Anal. Inform. Sist., 14:1 (2007),  31–43