Klaus Gotthardt

According to our database, Klaus Gotthardt authored at least 8 papers between 1991 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Über den Nutzen interaktiver Lernmedien im Fernstudium.

Klaus Gotthardt, Helga Huppertz, Bernd J. Krämer, Johannes Magenheim, Jonas Neugebauer, Christoph Wöldecke

Proceedings of the DeLFI 2014, 2014

1998

Automated Verification of Communication Protocols Using CCS and BDDs.

Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalewski

Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998

1997

Automated Verification of Safety Requirements using CCS and Binary Decision Diagrams.

Reiner Lichtenecker, Klaus Gotthardt

Proceedings of the 16th International Conference on Computer Safety, 1997

Verification of Distributed Applications by translating CCS to Binary Decision Diagrams.

Klaus Gotthardt, Reiner Lichtenecker

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1994

Stärken und Schwächen formaler Beschreibungstechniken für verteilte Systeme.

Bernd J. Krämer, Norbert Völker, Thomas Koch, Klaus Gotthardt

Prax. Inf.verarb. Kommun., 1994

1993

Quelle-Ziele-Durchsätze in Multihop-Paketfunknetzen.

Klaus Gotthardt

Proceedings of the Messung, 1993

1992

Analyse von Paket-Funknetzen mit Zufalls-Zugriffsprotokollen.

Klaus Gotthardt

PhD thesis, 1992

1991

Verteilung der Anzahl Hops einer Quelle-Ziel-Übertragung im Multihop-Paketfunknetz.

Klaus Gotthardt

Proceedings of the Messung, 1991