Article de revue (2017)
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Mots clés
Organismes subventionnaires:
National Physical Laboratory
Adresse URL de PolyPublie:
Nom de la conférence:
2nd workshop on Models for Formal Analysis of Real Systems (MARS 2017)
Lieu de la conférence:
Uppala, Sweden
Date(s) de la conférence:
2017-04-29
Titre de la revue
:
Electronic Proceedings in Theoretical Computer Science
(
vol.
244
)
Maison d'édition:
Open Publishing Association
DOI:
URL officielle:
OAI:
oai:publications.polymtl.ca:73868
ORCID
Date du dépôt:
05 mai 2026 14:09
Dernière modification:
14 oct. 2026 14:35
Citer en APA 7:
Garavel, H., & Marsso, L. (2017). A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm. [Présentation]. Electronic Proceedings in Theoretical Computer Science, 244, 129-183. Présentée à 2nd workshop on Models for Formal Analysis of Real Systems (MARS 2017), Uppala, Sweden. https://doi.org/10.4204/eptcs.244.6
Statistiques
Dimensions
