Evgeniy Maximovich Vinarskii Russian Federation, Moscow Research area program verification programming languages automata theory Affiliation & position Lomonosov Moscow State University — undergraduate student E-mail vinevg2015@gmail.com
Vinarskii E., Zakharov V. On some properties of timed finite state machines // System Informatics. — 2020. — # 17. — P. 11-20
