IandC_accepted_manuscript.pdf (650.64 kB)
Timed hyperproperties
journal contribution
posted on 2023-06-09, 22:02 authored by Hsi-Ming HoHsi-Ming Ho, Ruoyu Zhou, Timothy M JonesNo description supplied
History
Publication status
- Published
File Version
- Accepted version
Journal
Information and ComputationISSN
0890-5401Publisher
ElsevierExternal DOI
Article number
a104639Department 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-03First Open Access (FOA) Date
2021-11-02First Compliant Deposit (FCD) Date
2020-11-02Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC