Towards a Metalogic for Security Protocol Analysis

Metadata only

Autor(in)

Datum

2004

Typ

Conference Paper

ETH Bibliographie

yes

Altmetrics

Publikationsstatus

published

Herausgeber(in)

Buchtitel

Proceedings of CombLog' 04 : workshop on combination of logics: theory and applications, Lisbon, July 28-30, 2004

Seiten / Artikelnummer

187 - 196

Verlag

Center for Logic and Computation Department of Mathematics Instituto Superior Técnico

Konferenz

Workshop on combination of logics: theory and applications (CombLog' 04), Lisbon, Portugal, July 28-30, 2004

Organisationseinheit

03634 - Basin, David / Basin, David

Mehr

ETH Bibliographie

yes

Altmetrics

Research Collection