Metadata only
Date
2007-12Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Journal / series
Information and ComputationVolume
Pages / Article No.
Publisher
ElsevierSubject
Cryptographic protocols; Automatic analysis; Decidability; TransducersNotes
Received 14 March 2006, Revised 31 July 2007, Published online 14 September 2007.More
Show all metadata
ETH Bibliography
yes
Altmetrics