A weakness measure for GR(1) formulae (Q5918262)

From MaRDI portal
scientific article; zbMATH DE number 7343207
Language Label Description Also known as
English
A weakness measure for GR(1) formulae
scientific article; zbMATH DE number 7343207

    Statements

    A weakness measure for GR(1) formulae (English)
    0 references
    0 references
    0 references
    0 references
    4 May 2021
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references