Bhargavan, Karthikeyan and Bichhawat, Abhishek and Do, Quoc Huy and Hosseyni, Pedram and Küsters, Ralf and Schmitz, Guido and Würtele, Tim (2021) A Tutorial-Style Introduction to DY*. In: Protocols, Strands, and Logic : Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Lecture Notes in Computer Science . Springer, Cham, pp. 77-97. ISBN 9783030916305
Full text not available from this repository.Item Type:
Contribution in Book/Report/Proceedings
ID Code:
213415
Deposited By:
Deposited On:
25 Jan 2024 09:35
Refereed?:
No
Published?:
Published
Last Modified:
25 Jan 2024 09:35