TY -
GEN
AU - Kähler, Detlef
AU - Kuesters, Ralf
AU - Wilke, Thomas
AU - Christian-Albrechts-Universität zu Kiel Institut für Informatik
TI -
Deciding Properties of Contract-Signing Protocols
PB - Inst. für Informatik
KW - Forschungsbericht
PY - 2004
BT - Technische Berichte des Instituts für Informatik ; Bericht Nr. 0409 (Juli 2004)
CY - Kiel
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -