Damián Aparicio-Sánchez, Santiago Escobar 0001, Catherine A. Meadows, José Meseguer, Julia Sapiña. Protocol Analysis with Time and Space. In Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe, editors, Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Volume 13066 of Lecture Notes in Computer Science, pages 22-49, Springer, 2021. [doi]
@inproceedings{Aparicio-Sanchez21,
title = {Protocol Analysis with Time and Space},
author = {Damián Aparicio-Sánchez and Santiago Escobar 0001 and Catherine A. Meadows and José Meseguer and Julia Sapiña},
year = {2021},
doi = {10.1007/978-3-030-91631-2_2},
url = {https://doi.org/10.1007/978-3-030-91631-2_2},
researchr = {https://researchr.org/publication/Aparicio-Sanchez21},
cites = {0},
citedby = {0},
pages = {22-49},
booktitle = {Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday},
editor = {Daniel Dougherty and José Meseguer and Sebastian Alexander Mödersheim and Paul Rowe},
volume = {13066},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-91631-2},
}