Temporal Logics of Knowledge and their Applications in Security (Q2866724): Difference between revisions

From MaRDI portal
Changed an Item
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: NRL / rank
 
Normal rank

Revision as of 14:59, 29 February 2024

scientific article
Language Label Description Also known as
English
Temporal Logics of Knowledge and their Applications in Security
scientific article

    Statements

    Temporal Logics of Knowledge and their Applications in Security (English)
    0 references
    13 December 2013
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    temporal logics of knowledge
    0 references
    security
    0 references
    verification
    0 references
    theorem proving
    0 references
    resolution
    0 references
    0 references
    0 references