Search the dblp DataBase
Klaus Gotthardt :
[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 ] Klaus Gotthardt Verteilung der Anzahl Hops einer Quelle-Ziel-Übertragung im Multihop-Paketfunknetz. [Citation Graph (0, 0)][DBLP ] MMB, 1991, pp:182-195 [Conf ] Klaus Gotthardt Quelle-Ziele-Durchsätze in Multihop-Paketfunknetzen. [Citation Graph (0, 0)][DBLP ] MMB, 1993, pp:306-318 [Conf ] Search in 0.001secs, Finished in 0.001secs