- CSB - MetaPress - Google - Bing - Yahoo
 | 1993 | |
|---|---|---|
| 4 |      | Frank Dederichs, Claus Dendorfer, Rainer Weber: FOCUS: A Formal Design Method for Distributed Systems. Parallel Computer Architectures 1993: 190-202 |
| 1992 | ||
| 3 | | Claus Dendorfer, Rainer Weber: An Informal Introduction to the Design Method FOCUS. FBT 1992: 9-20 |
| 2 | | Claus Dendorfer, Rainer Weber: From Service Specification to Protocol Entity Impelmentation - An Exercise in Formal Protocol Development. PSTV 1992: 163-177 |
| 1 | | Manfred Broy, Claus Dendorfer: Modelling Operating System Structures by Timed Stream Processing Functions. J. Funct. Program. 2(1): 1-21 (1992) |
| 1 | Manfred Broy | [1] |
| 2 | Frank Dederichs | [4] |
| 3 | Rainer Weber | [2] [3] [4] |