External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Symbolic Timed Trace Equivalence

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]

Authors

Vivek Nigam

This author has not been identified. Look up 'Vivek Nigam' in Google

Carolyn L. Talcott

This author has not been identified. Look up 'Carolyn L. Talcott' in Google

Abraão Aires Urquiza

This author has not been identified. Look up 'Abraão Aires Urquiza' in Google
runs on