Chapitre D'ouvrage
Année : 2021
Bhargavan Karthikeyan : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03540824
Soumis le : lundi 24 janvier 2022-11:32:51
Dernière modification le : mardi 3 octobre 2023-17:18:04
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⟩
32
Consultations
0
Téléchargements