RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Mashukov, Mikhail Yur'evich

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

Number of views:
This page:59
Abstract pages:246
Full texts:87
References:28
E-mail:

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

Publications in Math-Net.Ru
2011
1. D. M. Beloglazov, M. Yu. Mashukov, V. A. Nepomnyashchii, “Verification of telecommunication systems specified by communicating finite automata with the help of coloured Petri nets”, Model. Anal. Inform. Sist., 18:4 (2011),  144–156  mathnet

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