Ruslan M. Novikov

2007
2	EE	Valery A. Nepomniaschy, Gennady I. Alekseev, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina, Sergey P. Mylnikov, Ruslan M. Novikov: Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols. CSR 2007: 303-314
2002
1	EE	Vitaly E. Kozura, Valery A. Nepomniaschy, Ruslan M. Novikov: Verification of Distributed Systems Modelled by High-Level Petri Nets. PARELEC 2002: 61-66

Coauthor Index

1	Gennady I. Alekseev	[2]
2	Victor S. Argirov	[2]
3	Dmitri M. Beloglazov	[2]
4	Alexandre V. Bystrov	[2]
5	Eugene A. Chetvertakov	[2]
6	Tatiana G. Churina	[2]
7	Vitaly E. Kozura	[1]
8	Sergey P. Mylnikov	[2]
9	Valery A. Nepomniaschy (V. A. Nepomniaschy)	[1] [2]