8483 articles  [english version]
.:. Consultation > Par auteur > Arnaud .:.
1 document
fulltext access Combining algorithms for deciding knowledge in security protocols
Arnaud M., Cortier V., Delaune S.
N° RR-6118 (2007) [inria-00129418 - version 2]