On the decidability of cryptographic group protocols. : Bericht Nr. 0201. February 2002. /

Uložené v:
Podrobná bibliografia
Hlavný autor: Kuesters, Ralf (Author)
Médium: Kniha
Jazyk:English
Vydané: Kiel : Institut für Informatik und Praktische Mathematik der Christian-Alberts-Universität, 2002
Vydanie:1. vyd.
Témy:
ISBN: (brož.)
Fyzický popis: 37 s.
Tagy: Pridať tag
Žiadne tagy, Buďte prvý kto otaguje tento záznam!