A Tutorial-Style Introduction to $\textsf {DY}^\star $ - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2021
Fichier non déposé

Dates et versions

hal-03540824 , version 1 (24-01-2022)

Identifiants

Citer

Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, et al.. A Tutorial-Style Introduction to $\textsf {DY}^\star $. Daniel Dougherty; José Meseguer; Sebastian Alexander Mödersheim; Paul Rowe. Protocols, Strands, and Logic, 13066, Springer International Publishing, pp.77-97, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-91631-2_4⟩. ⟨hal-03540824⟩

Collections

INRIA INRIA2
29 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More