Metadata only
Datum
2013Typ
- Journal Article
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Zeitschrift / Serie
Journal of Computer SecurityBand
Seiten / Artikelnummer
Verlag
IOS PressThema
Security protocols; Formal methods; Theorem proving; Automatic proof generationOrganisationseinheit
03634 - Basin, David / Basin, David
Anmerkungen
Published online 12 February 2013.ETH Bibliographie
yes
Altmetrics