| 1998 |
|---|
| 4 | | Reiner Lichtenecker,
Klaus Gotthardt,
Janusz Zalewski:
Automated Verification of Communication Protocols Using CCS and BDDs.
IPPS/SPDP Workshops 1998: 1057-1066 |
| 3 | | Bernd J. Krämer,
Norbert Völker,
Reiner Lichtenecker,
Hans-Friedrich Kötter:
Deriving CORBA Applications from Formal Specifications.
Journal of Systems Integration 8(2): 143-158 (1998) |
| 1997 |
|---|
| 2 | | Klaus Gotthardt,
Reiner Lichtenecker:
Verification of Distributed Applications by translating CCS to Binary Decision Diagrams.
FBT 1997: 39-48 |
| 1 | | Reiner Lichtenecker:
Terrestrial Time Signal Dissemination.
Real-Time Systems 12(1): 41-61 (1997) |
