KIT | KIT-Bibliothek | Impressum

Termersetzungssysteme zur Validierung kryptographischer Protokolle

Klar, Andreas



Zugehörige Institution(en) am KIT Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buchaufsatz
Jahr 1992
Sprache Deutsch
Identifikator KITopen ID: 105192
Erscheinungsvermerk In: Workshop Formale Spezifikation und Verifikation. Hrsg.: F. Damm. Karlsruhe 1991. (Report. E.I.S.S., Universitaet Karlsruhe. 1991,7.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page