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.

On Verifying Timed Hyperproperties

Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones 0001. On Verifying Timed Hyperproperties. In Johann Gamper, Sophie Pinchinat, Guido Sciavicco, editors, 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain. Volume 147 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]

Authors

Hsi-Ming Ho

This author has not been identified. Look up 'Hsi-Ming Ho' in Google

Ruoyu Zhou

This author has not been identified. Look up 'Ruoyu Zhou' in Google

Timothy M. Jones 0001

This author has not been identified. Look up 'Timothy M. Jones 0001' in Google
runs on