| |
| 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) | |
| 1 | Klaus Gotthardt | [2] [4] |
| 2 | Hans-Friedrich Kötter | [3] |
| 3 | Bernd J. Krämer | [3] |
| 4 | Norbert Völker | [3] |
| 5 | Janusz Zalewski | [4] |