| |
| 1998 | ||
|---|---|---|
| 3 | EE | Detlef Schwier, Friedrich W. von Henke: Mechanical Verification of Clock Synchronization Algorithms. FTRTFT 1998: 262-271 |
| 1996 | ||
| 2 | Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner: The TYPELAB Specification and Verification Environment. AMAST 1996: 604-607 | |
| 1995 | ||
| 1 | Friedrich W. von Henke, Axel Dold, Harald Rueß, Detlef Schwier: Construction and Deduction Methods for the Formal Development of Software. KORSO Book 1995: 239-254 | |
| 1 | Axel Dold | [1] |
| 2 | Friedrich W. von Henke | [1] [2] [3] |
| 3 | Marko Luther | [2] |
| 4 | Holger Pfeifer | [2] |
| 5 | Harald Rueß | [1] [2] |
| 6 | Martin Strecker | [2] |
| 7 | Matthias Wagner | [2] |