| |
| 1994 | ||
|---|---|---|
| 2 | Stefan Böhmer, Ralf Klafka: A new approach to performance evaluation of formally specified protocols. FORTE 1994: 452-454 | |
| 1992 | ||
| 1 | K. Wemheuer, Stefan Böhmer: Parallelisierungsmöglichkeiten formal spezifizierter Protokolle. Transputer-Anwender-Treffen 1992: 11-20 | |
| 1 | Ralf Klafka | [2] |
| 2 | K. Wemheuer | [1] |