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]
@inproceedings{HoZ019,
title = {On Verifying Timed Hyperproperties},
author = {Hsi-Ming Ho and Ruoyu Zhou and Timothy M. Jones 0001},
year = {2019},
doi = {10.4230/LIPIcs.TIME.2019.20},
url = {https://doi.org/10.4230/LIPIcs.TIME.2019.20},
researchr = {https://researchr.org/publication/HoZ019},
cites = {0},
citedby = {0},
booktitle = {26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain},
editor = {Johann Gamper and Sophie Pinchinat and Guido Sciavicco},
volume = {147},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-127-6},
}