Metadata only
Autor(in)
Datum
2006Typ
- Conference Paper
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Zeitschrift / Serie
Electronic notes in theoretical computer scienceBand
Seiten / Artikelnummer
Verlag
ElsevierKonferenz
Thema
Security protocols; protocol models; automated protocol validationOrganisationseinheit
03634 - Basin, David / Basin, David
Anmerkungen
Available online 10 May 2006.ETH Bibliographie
yes
Altmetrics