University of Sussex
Browse
IandC_accepted_manuscript.pdf (650.64 kB)

Timed hyperproperties

Download (650.64 kB)
journal contribution
posted on 2023-06-09, 22:02 authored by Hsi-Ming HoHsi-Ming Ho, Ruoyu Zhou, Timothy M Jones
No description supplied

History

Publication status

  • Published

File Version

  • Accepted version

Journal

Information and Computation

ISSN

0890-5401

Publisher

Elsevier

External DOI

Article number

a104639

Department affiliated with

  • Informatics Publications

Research groups affiliated with

  • Foundations of Software Systems Publications

Full text available

  • Yes

Peer reviewed?

  • Yes

Legacy Posted Date

2020-11-03

First Open Access (FOA) Date

2021-11-02

First Compliant Deposit (FCD) Date

2020-11-02

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Keywords

    Uncategorised value

    Licence

    CC BY-NC-ND 4.0

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC