E. V. Bodin

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2002

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