Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Kubasov, Sergey Valeryevich Candidate of technical sciences (2008) Speciality: 05.13.11 (Mathematical and programme software for computers, computer systems, and networks) E-mail: https://www.mathnet.ru/eng/person63917 List of publications on Google Scholar https://elibrary.ru/author_items.asp?authorid=603389 Publications in Math-Net.Ru Citations 2008 1. S. V. Kubasov, “Verification of Synchronous-automaton Programs using LTL”, Model. Anal. Inform. Sist., 15:2 (2008),  46–49   2007 2. S. V. Kubasov, “Verification of synchronous-automaton programs”, Model. Anal. Inform. Sist., 14:4 (2007),  20–27   1 3. S. V. Kubasov, V. A. Sokolov, “Synchronous model of automaton program”, Model. Anal. Inform. Sist., 14:1 (2007),  11–18   1 Organisations P.G. Demidov Yaroslavl State University