Gulgaysha Gabdulovna Temerbekova Russian Federation, Moscow Research area models of computation Affiliation & position Lomonosov Moscow State University — undergraduate student E-mail gulgaisha93@mail.ru
Zakharov V., Temerbekova G. On the minimization and equivalence checking of sequential reactive systems // System Informatics. — 2016. — # 7. — P. 33-44
