Vitaly E. Kozura

2002
3	EE	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	EE	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	EE	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]