| 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 | |
| 1 | Wan Fokkink | [1] |
| 2 | Natalia Ioustinova | [1] |
| 3 | Ernst Kesseler | [1] |
| 4 | Jaco van de Pol | [1] |
| 5 | Yaroslav S. Usenko | [1] |