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.
This list was generated on Tue Apr 16 16:22:19 2024 UTC.
