![]() | ![]() |
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] |