Items where Author is "Zhou, Ruoyu"
Jump to: Public
Number of items: 1.
Public
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.