Vitaly E. Kozura

	2002
3		V. A. Nepomniaschy, Nikolay V. Shilov, E. V. Bodin, Vitaly E. Kozura: Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems. IFM 2002: 69-88
2		Vitaly E. Kozura, Valery A. Nepomniaschy, Ruslan M. Novikov: Verification of Distributed Systems Modelled by High-Level Petri Nets. PARELEC 2002: 61-66
	2001
1		Vitaly E. Kozura: Unfoldings of Coloured Petri Nets. Ershov Memorial Conference 2001: 268-278

Coauthor Index

1	E. V. Bodin	[3]
2	Valery A. Nepomniaschy (V. A. Nepomniaschy)	[2] [3]
3	Ruslan M. Novikov	[2]
4	Nikolay V. Shilov	[3]