RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Chebotarev, Anatolii Nikolaevich

Statistics Math-Net.Ru
Total publications: 2
Scientific articles: 2

Number of views:
This page:756
Abstract pages:262
Full texts:74
References:72
Professor
Doctor of technical sciences
E-mail:

http://www.mathnet.ru/eng/person43584
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
2010
1. A. N. Chebotarev, “Regular form of deterministic FSMs specifications in the language L”, Prikl. Diskr. Mat., 2010, 4(10),  64–72  mathnet
2. A. N. Chebotarev, “Solving inequalities over finite state machines in the reactive systems design”, Prikl. Diskr. Mat., 2010, 3(9),  100–110  mathnet

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2021