Show simple item record

dc.contributor.authorArsac, W.
dc.contributor.authorBella, Giampaolo
dc.contributor.authorChantry, X.
dc.contributor.authorCompagna, L.
dc.date.accessioned2010-08-04T10:54:14Z
dc.date.available2010-08-04T10:54:14Z
dc.date.issued2010
dc.identifier.citationArsac, W. et al. (2010) Multi-attacker protocol validation. Journal of Automated Reasoning, 46 (3-4), pp. 353-388.en
dc.identifier.issn0168-7433
dc.identifier.urihttp://hdl.handle.net/2086/3964
dc.language.isoenen
dc.publisherSpringeren
dc.titleMulti-attacker protocol validation.en
dc.typeArticleen
dc.identifier.doihttp://dx.doi.org/10.1007/s10817-010-9185-y
dc.researchgroupSoftware Technology Research Laboratory (STRL)en
dc.peerreviewedYesen
dc.ref2014.selected1367395509_1010680226037_11_1


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record