Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza. Symbolic Timed Trace Equivalence. In Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic, editors, Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows. Volume 11565 of Lecture Notes in Computer Science, pages 89-111, Springer, 2019. [doi]
@inproceedings{NigamTU19,
title = {Symbolic Timed Trace Equivalence},
author = {Vivek Nigam and Carolyn L. Talcott and Abraão Aires Urquiza},
year = {2019},
doi = {10.1007/978-3-030-19052-1_8},
url = {https://doi.org/10.1007/978-3-030-19052-1_8},
researchr = {https://researchr.org/publication/NigamTU19},
cites = {0},
citedby = {0},
pages = {89-111},
booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows},
editor = {Joshua D. Guttman and Carl E. Landwehr and José Meseguer and Dusko Pavlovic},
volume = {11565},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-19052-1},
}