| |
| 1998 | ||
|---|---|---|
| 3 | EE | Ketil Stølen, Max Fuchs: An Exercise in Conditional Refinement. Prospects for Hardware Foundations 1998: 390-420 |
| 1997 | ||
| 2 | Thomas Stauner, Olaf Müller, Max Fuchs: Using HYTECH to Verify an Automative Control System. HART 1997: 139-153 | |
| 1995 | ||
| 1 | Max Fuchs, Jan Philipps: Focus. Formal Development of Reactive Systems 1995: 185-197 | |
| 1 | Olaf Müller | [2] |
| 2 | Jan Philipps | [1] |
| 3 | Thomas Stauner | [2] |
| 4 | Ketil Stølen | [3] |