Conference item icon

Conference item

Responsibility and verification: importance value in temporal logics

Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1109/LICS52264.2021.9470597

Authors


More by this author
Institution:
University of Oxford
Department:
COMPUTER SCIENCE
Sub department:
Computer Science
Oxford college:
St John's College
Role:
Author
ORCID:
0000-0003-4173-6877
Publisher:
IEEE Publisher's website
Journal:
Proceedings of the Symposium on Logic in Computer Science (LICS) Journal website
Pages:
1-14
Publication date:
2021-07-07
Acceptance date:
2021-04-01
Event title:
36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021)
Event location:
Online
Event website:
http://easyconferences.eu/lics2021/
Event start date:
2021-06-29T00:00:00Z
Event end date:
2021-07-02T00:00:00Z
DOI:
EISBN:
978-1-6654-4895-6
ISBN:
978-1-6654-4896-3
Language:
English
Keywords:
Pubs id:
1171623
Local pid:
pubs:1171623
Deposit date:
2021-04-15

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP