> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Automata, Languages and Programming: A Dolev-Yao-Based Definition of Abuse-Free Protocols Beteiligte: Kähler, Detlef; Küsters, Ralf; Wilke, Thomas Erschienen: Springer Berlin Heidelberg, 2006 Erschienen in: Automata, Languages and Programming (2006), Seite 95-106 Sprache: Nicht zu entscheiden DOI: 10.1007/11787006_9 ISSN: 1611-3349; 0302-9743 Entstehung: Hochschulschrift: Anmerkungen: