Go to the corresponding LIPIcs Volume Portal |
Ho, Hsi-Ming ; Zhou, Ruoyu ; Jones, Timothy M.
pdf-format: |
|
@InProceedings{ho_et_al:LIPIcs:2019:11378, author = {Hsi-Ming Ho and Ruoyu Zhou and Timothy M. Jones}, title = {{On Verifying Timed Hyperproperties}}, booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)}, pages = {20:1--20:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-127-6}, ISSN = {1868-8969}, year = {2019}, volume = {147}, editor = {Johann Gamper and Sophie Pinchinat and Guido Sciavicco}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2019/11378}, URN = {urn:nbn:de:0030-drops-113782}, doi = {10.4230/LIPIcs.TIME.2019.20}, annote = {Keywords: Timed Automata, Temporal Logics, Cybersecurity} }
Keywords: | Timed Automata, Temporal Logics, Cybersecurity | |
Collection: | 26th International Symposium on Temporal Representation and Reasoning (TIME 2019) | |
Issue Date: | 2019 | |
Date of publication: | 07.10.2019 |