Persons
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:1149
Abstract pages:396
Full texts:98
References:106
Professor
Doctor of technical sciences
E-mail:

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

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

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024