Responsibility and verification: importance value in temporal logics
| Main Authors: | , , , , |
|---|---|
| Format: | Conference item |
| Language: | English |
| Published: |
IEEE
2021
|
| _version_ | 1797065689294438400 |
|---|---|
| author | Mascle, C Baier, C Funke, F Jantsch, S Kiefer, S |
| author_facet | Mascle, C Baier, C Funke, F Jantsch, S Kiefer, S |
| author_sort | Mascle, C |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T21:32:10Z |
| format | Conference item |
| id | oxford-uuid:4507ed87-cf3d-4e60-89b5-f4dc06092cb0 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-06T21:32:10Z |
| publishDate | 2021 |
| publisher | IEEE |
| record_format | dspace |
| spelling | oxford-uuid:4507ed87-cf3d-4e60-89b5-f4dc06092cb02022-03-26T15:05:26ZResponsibility and verification: importance value in temporal logicsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:4507ed87-cf3d-4e60-89b5-f4dc06092cb0EnglishSymplectic ElementsIEEE2021Mascle, CBaier, CFunke, FJantsch, SKiefer, S |
| spellingShingle | Mascle, C Baier, C Funke, F Jantsch, S Kiefer, S Responsibility and verification: importance value in temporal logics |
| title | Responsibility and verification: importance value in temporal logics |
| title_full | Responsibility and verification: importance value in temporal logics |
| title_fullStr | Responsibility and verification: importance value in temporal logics |
| title_full_unstemmed | Responsibility and verification: importance value in temporal logics |
| title_short | Responsibility and verification: importance value in temporal logics |
| title_sort | responsibility and verification importance value in temporal logics |
| work_keys_str_mv | AT masclec responsibilityandverificationimportancevalueintemporallogics AT baierc responsibilityandverificationimportancevalueintemporallogics AT funkef responsibilityandverificationimportancevalueintemporallogics AT jantschs responsibilityandverificationimportancevalueintemporallogics AT kiefers responsibilityandverificationimportancevalueintemporallogics |