Timed hyperproperties

Ho, Hsi-Ming, Zhou, Ruoyu and Jones, Timothy M (2020) Timed hyperproperties. Information and Computation. a104639. ISSN 0890-5401

[img] PDF - Accepted Version
Restricted to SRO admin only until 2 November 2021.
Available under License Creative Commons Attribution-NonCommercial No Derivatives.

Download (666kB)
Item Type: Article
Schools and Departments: School of Engineering and Informatics > Informatics
Research Centres and Groups: Foundations of Software Systems
Subjects: Q Science > QA Mathematics > QA0075 Electronic computers. Computer science
Depositing User: Hsi-Ming Ho
Date Deposited: 03 Nov 2020 10:56
Last Modified: 03 Nov 2020 11:00
URI: http://sro.sussex.ac.uk/id/eprint/94743

View download statistics for this item

📧 Request an update