|
|
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 |
|
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 |
1
|
|
Organisations |
|
|