![]() | ![]() |
| 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] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page