Items where SHU Author is "Jones, Timothy M"

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | Full Text | No Grouping
Jump to: Book Section
Number of items: 1.

Book Section

file
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 Sat Oct 1 15:42:29 2022 UTC.