Metadata only
Datum
2007-12Typ
- Journal Article
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Zeitschrift / Serie
Information and ComputationBand
Seiten / Artikelnummer
Verlag
ElsevierThema
Cryptographic protocols; Automatic analysis; Decidability; TransducersAnmerkungen
Received 14 March 2006, Revised 31 July 2007, Published online 14 September 2007.ETH Bibliographie
yes
Altmetrics