Gnatenko Anton Romanovich | System Informatics

Anton Romanovich Gnatenko

Russia, Moscow

Research area

Affiliation & position

National Resarch University Higher School of Economics — undergraduate student

E-mail

gnatenko.cmc@gmail.com

List of Articles in System Informatics:

A. Gnatenko V. Zakharov Using an extensions of CTL* for specification and verification of sequential reactive systems // System Informatics. — 2020. — # 17. — P. 21-32