| |
| 1993 | ||
|---|---|---|
| 3 | Norbert Götz, Ulrich Herzog, Michael Rettelbach: Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras. Performance/SIGMETRICS Tutorials 1993: 121-146 | |
| 1992 | ||
| 2 | Norbert Götz, Ulrich Herzog, Michael Rettelbach: TIPP - Introduction and Application to Protocol Performance Analysis. FBT 1992: 105-125 | |
| 1989 | ||
| 1 | Terry Stroup, Norbert Götz, Michael Mendler: Stepwise Refinement of Layered Protocols by Formal Program Development. PSTV 1989: 71-85 | |
| 1 | Ulrich Herzog | [2] [3] |
| 2 | Michael Mendler | [1] |
| 3 | Michael Rettelbach | [2] [3] |
| 4 | Terry Stroup | [1] |