Standard
A Tutorial-Style Introduction to DY*. / Bhargavan, Karthikeyan; Bichhawat, Abhishek; Do, Quoc Huy et al.
Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. ed. / Daniel Dougherty; José Meseguer; Sebastian Alexander Mödersheim; Paul Rowe. Cham: Springer, 2021. p. 77-97 (Lecture Notes in Computer Science ; Vol. 13066).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Harvard
Bhargavan, K, Bichhawat, A, Do, QH, Hosseyni, P, Küsters, R
, Schmitz, G & Würtele, T 2021,
A Tutorial-Style Introduction to DY*. in D Dougherty, J Meseguer, SA Mödersheim & P Rowe (eds),
Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Lecture Notes in Computer Science , vol. 13066, Springer, Cham, pp. 77-97.
https://doi.org/10.1007/978-3-030-91631-2_4APA
Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R.
, Schmitz, G., & Würtele, T. (2021).
A Tutorial-Style Introduction to DY*. In D. Dougherty, J. Meseguer, S. A. Mödersheim, & P. Rowe (Eds.),
Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday (pp. 77-97). (Lecture Notes in Computer Science ; Vol. 13066). Springer.
https://doi.org/10.1007/978-3-030-91631-2_4Vancouver
Bhargavan K, Bichhawat A, Do QH, Hosseyni P, Küsters R
, Schmitz G et al.
A Tutorial-Style Introduction to DY*. In Dougherty D, Meseguer J, Mödersheim SA, Rowe P, editors, Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Cham: Springer. 2021. p. 77-97. (Lecture Notes in Computer Science ). doi: 10.1007/978-3-030-91631-2_4
Author
Bhargavan, Karthikeyan ; Bichhawat, Abhishek ; Do, Quoc Huy et al. /
A Tutorial-Style Introduction to DY*. Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. editor / Daniel Dougherty ; José Meseguer ; Sebastian Alexander Mödersheim ; Paul Rowe. Cham : Springer, 2021. pp. 77-97 (Lecture Notes in Computer Science ).
Bibtex
@inbook{6992756fd18a4a8ab2fa55f05e49f1d4,
title = "A Tutorial-Style Introduction to DY*",
author = "Karthikeyan Bhargavan and Abhishek Bichhawat and Do, {Quoc Huy} and Pedram Hosseyni and Ralf K{\"u}sters and Guido Schmitz and Tim W{\"u}rtele",
year = "2021",
month = nov,
day = "19",
doi = "10.1007/978-3-030-91631-2_4",
language = "English",
isbn = "9783030916305",
series = "Lecture Notes in Computer Science ",
publisher = "Springer",
pages = "77--97",
editor = "Daniel Dougherty and Jos{\'e} Meseguer and M{\"o}dersheim, {Sebastian Alexander } and Paul Rowe",
booktitle = "Protocols, Strands, and Logic",
}
RIS
TY - CHAP
T1 - A Tutorial-Style Introduction to DY*
AU - Bhargavan, Karthikeyan
AU - Bichhawat, Abhishek
AU - Do, Quoc Huy
AU - Hosseyni, Pedram
AU - Küsters, Ralf
AU - Schmitz, Guido
AU - Würtele, Tim
PY - 2021/11/19
Y1 - 2021/11/19
U2 - 10.1007/978-3-030-91631-2_4
DO - 10.1007/978-3-030-91631-2_4
M3 - Chapter
SN - 9783030916305
T3 - Lecture Notes in Computer Science
SP - 77
EP - 97
BT - Protocols, Strands, and Logic
A2 - Dougherty, Daniel
A2 - Meseguer, José
A2 - Mödersheim, Sebastian Alexander
A2 - Rowe, Paul
PB - Springer
CY - Cham
ER -
