Number of items: 1.
Book Section
HO, Hsi-Ming,
ZHOU, Ruoyu and
JONES, Timothy M
(2019).
On verifying timed hyperproperties.
In:
GAMPER, Johann,
PINCHINAT, Sophie and
SCIAVICCO, Guido, (eds.)
26th International Symposium on Temporal Representation and Reasoning (TIME 2019).
Leibniz International Proceedings in Informatics
(147).
DROPS - Dagstuhl Research Online Publication Server.
[Book Section]
This list was generated on Sat Dec 21 16:41:15 2024 UTC.
![[up]](/style/images/multi_up.png)
Up a level
