|
Search the dblp DataBase
Reiner Lichtenecker:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Klaus Gotthardt, Reiner Lichtenecker
Verification of Distributed Applications by translating CCS to Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP] FBT, 1997, pp:39-48 [Conf]
- Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalewski
Automated Verification of Communication Protocols Using CCS and BDDs. [Citation Graph (0, 0)][DBLP] IPPS/SPDP Workshops, 1998, pp:1057-1066 [Conf]
- Bernd J. Krämer, Norbert Völker, Reiner Lichtenecker, Hans-Friedrich Kötter
Deriving CORBA Applications from Formal Specifications. [Citation Graph (0, 0)][DBLP] Journal of Systems Integration, 1998, v:8, n:2, pp:143-158 [Journal]
- Reiner Lichtenecker
Terrestrial Time Signal Dissemination. [Citation Graph (0, 0)][DBLP] Real-Time Systems, 1997, v:12, n:1, pp:41-61 [Journal]
Search in 0.002secs, Finished in 0.002secs
|