Hierarchical Combination of Intruder Theories release_rh6pmjwcmrf3jbdebfic6qikcm

by Yannick Chevalier, Michaël Rusinowitch

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2006   p108-122

Archived Files and Locations

application/pdf  503.1 kB
file_lo33rqlg6nbgnhcvp4utfnct3q
hal.inria.fr (repository)
web.archive.org (webarchive)
application/pdf  131.1 kB
file_ro756gsrn5dprmn6gmuuorbkqq
web.archive.org (webarchive)
www.avispa-project.org (web)
application/pdf  229.6 kB
file_a7nnfgbtu5a2lakfbi6y6duiwy
www.avispa-project.org:80 (web)
web.archive.org (webarchive)
application/pdf  768.0 kB
file_p2cplh3nzvgcffagwt5iusbsr4
hal.inria.fr (repository)
web.archive.org (webarchive)
web.archive.org (webarchive)
application/pdf  371.7 kB
file_tdv2anilsvdf5b7icpimqp42qm
web.archive.org (webarchive)
hal.archives-ouvertes.fr (web)
web.archive.org (webarchive)
application/pdf  784.6 kB
file_eqs2ydpp4rhzphaqqdaozy7h7u
web.archive.org (webarchive)
pdfs.semanticscholar.org (aggregator)
application/pdf  325.8 kB
file_6sewqbqfc5bddjin6i2ii7t4l4
web.archive.org (webarchive)
publisher-connector.core.ac.uk (web)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2006
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: cfaf2c27-5516-48fa-891f-78aa2ce79187
API URL: JSON