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]
No references recorded for this publication.
No citations of this publication recorded.