Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Chernenok, Sergei Anatol'evich
Statistics Math-Net.Ru
Total publications: 2
Scientific articles: 2

Number of views:
This page:63
Abstract pages:512
Full texts:328
References:67
E-mail:

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

Publications in Math-Net.Ru Citations
2015
1. S. A. Chernenok, V. A. Nepomniaschy, “The application of coloured Petri nets to verification of distributed systems specified by message sequence charts”, Proceedings of ISP RAS, 27:3 (2015),  197–218  mathnet  elib
2014
2. S. A. Chernenok, V. A. Nepomniaschy, “Analysis and verification of message sequence charts of distributed systems with the help of Coloured Petri Nets”, Model. Anal. Inform. Sist., 21:6 (2014),  94–106  mathnet 1

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