| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1998 | |
|---|---|---|
| 3 |      | 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] |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page