No label defined (Q3017644)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    0 references
    0 references
    19 July 2011
    0 references
    0 references
    0 references
    0 references
    0 references
    projection temporal logic
    0 references
    process scheduling
    0 references
    theorem proving
    0 references
    multi-core CPU
    0 references
    scheduling verification
    0 references