| 1998 |
|---|
| 4 | | Reiner Lichtenecker,
Klaus Gotthardt,
Janusz Zalewski:
Automated Verification of Communication Protocols Using CCS and BDDs.
IPPS/SPDP Workshops 1998: 1057-1066 |
| 1997 |
|---|
| 3 | | Klaus Gotthardt,
Reiner Lichtenecker:
Verification of Distributed Applications by translating CCS to Binary Decision Diagrams.
FBT 1997: 39-48 |
| 1993 |
|---|
| 2 | | Klaus Gotthardt:
Quelle-Ziele-Durchsätze in Multihop-Paketfunknetzen.
MMB 1993: 306-318 |
| 1991 |
|---|
| 1 | | Klaus Gotthardt:
Verteilung der Anzahl Hops einer Quelle-Ziel-Übertragung im Multihop-Paketfunknetz.
MMB 1991: 182-195 |
