A Tutorial-Style Introduction to $\textsf {DY}^\star $ - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2021
No file

Dates and versions

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

Identifiers

Cite

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 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More