Gulgaysha Gabdulovna TemerbekovaRussia, MoscowResearch areamodels of computationAffiliation & position Lomonosov Moscow State University — undergraduate student E-mailgulgaisha93@mail.ru List of Articles in System Informatics: V. Zakharov G. Temerbekova On the minimization and equivalence checking of sequential reactive systems // System Informatics. — 2016. — # 7. — P. 33-44