Symbolic Timed Trace Equivalence

Vivek Nigam, Carolyn Talcott und Abraão Aires Urquiza

Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, pp. 89–111

2019 · DOI: 10.1007/978-3-030-19052-1\_8