> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Deciding Properties of Contract-Signing Protocols Beteiligte: Kähler, Detlef [VerfasserIn]; Kuesters, Ralf [VerfasserIn]; Wilke, Thomas [VerfasserIn] Körperschaft: Christian-Albrechts-Universität zu Kiel, Institut für Informatik Erschienen: Kiel: Inst. für Informatik, 2004 Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht ; 2004,9 Umfang: 1 Online-Ressource (29 Seiten); Illustrationen Sprache: Englisch Identifikator: Schlagwörter: Forschungsbericht Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang