Yuri A. Yushtein

	2002
1		Wan Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko, Yuri A. Yushtein: Refinement and Verification Applied to an In-Flight Data Acquisition Unit. CONCUR 2002: 1-23

Coauthor Index

1	Wan Fokkink	[1]
2	Natalia Ioustinova	[1]
3	Ernst Kesseler	[1]
4	Jaco van de Pol	[1]
5	Yaroslav S. Usenko	[1]