Second-order hyperproperties (Q6535541)

From MaRDI portal





scientific article; zbMATH DE number 7787559
Language Label Description Also known as
English
Second-order hyperproperties
scientific article; zbMATH DE number 7787559

    Statements

    Second-order hyperproperties (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    12 January 2024
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers