Dmitri M. Beloglazov

	2009
4		Dmitri M. Beloglazov, Valery A. Nepomniaschy: A Two-Level Approach for Modeling and Verification of Telecommunication Systems. Ershov Memorial Conference 2009: 70-85
	2008
3		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
2		V. A. Nepomniaschy, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina: Modeling and verification of the SDL-specified communication protocols using high-level Petri nets. Programming and Computer Software 34(6): 330-340 (2008)
	2007
1		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] [2]
3	Alexandre V. Bystrov	[1] [2]
4	Eugene A. Chetvertakov	[1] [2]
5	Tatiana G. Churina	[1] [2] [3]
6	Mikhail Mashukov	[3]
7	Sergey P. Mylnikov	[1]
8	Valery A. Nepomniaschy (V. A. Nepomniaschy)	[1] [2] [3] [4]
9	Ruslan M. Novikov	[1]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page