| |
| 2001 | ||
|---|---|---|
| 1 | EE | Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat: Amphion/NAV: Deductive Synthesis of State Estimation Software. ASE 2001: 395-399 |
| 1 | Jeffrey Van Baalen | [1] |
| 2 | Guillaume P. Brat | [1] |
| 3 | Michael R. Lowry | [1] |
| 4 | John Penix | [1] |
| 5 | Thomas Pressburger | [1] |
| 6 | Peter Robinson | [1] |
| 7 | Johann Schumann | [1] |
| 8 | Jon Whittle (Jonathan Whittle) | [1] |