Documents publiés en "2017"

monter Monter d'un niveau
Pour citer ou exporter
Grouper par: Auteurs ou autrices | Département | Sous-type de document | Aucun groupement
Nombre de documents: 1

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. Lien externe

Liste produite: Tue Oct 20 15:44:39 2026 EDT.