Dmitri M. Beloglazov

2008
2	EE	Valery A. Nepomniaschy, Dmitri M. Beloglazov, Tatiana G. Churina, Mikhail Mashukov: Using Coloured Petri Nets to Model and Verify Telecommunications Systems. CSR 2008: 360-371
2007
1	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

Coauthor Index

1	Gennady I. Alekseev	[1]
2	Victor S. Argirov	[1]
3	Alexandre V. Bystrov	[1]
4	Eugene A. Chetvertakov	[1]
5	Tatiana G. Churina	[1] [2]
6	Mikhail Mashukov	[2]
7	Sergey P. Mylnikov	[1]
8	Valery A. Nepomniaschy (V. A. Nepomniaschy)	[1] [2]
9	Ruslan M. Novikov	[1]