Mikhail Mashukov

According to our database, Mikhail Mashukov authored at least 2 papers between 2008 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

2012

Verification of telecommunication systems specified using communicating finite-state automata using colored Petri nets.

Dmitri M. Beloglazov, Mikhail Mashukov, V. A. Nepomnyashchiy

Autom. Control. Comput. Sci., 2012

2008

Using Coloured Petri Nets to Model and Verify Telecommunications Systems.

Valery A. Nepomniaschy, Dmitri M. Beloglazov, Tatiana G. Churina, Mikhail Mashukov

Proceedings of the Computer Science, 2008