E. V. Bodin

List of publications from the DBLP Bibliography Server - FAQ

2002

1 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

2002
1	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

Coauthor Index

1	Vitaly E. Kozura	[1]
2	Valery A. Nepomniaschy (V. A. Nepomniaschy)	[1]
3	Nikolay V. Shilov	[1]