No label defined (Q4952316)

From MaRDI portal
scientific article; zbMATH DE number 1444735
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1444735

    Statements

    0 references
    0 references
    0 references
    8 October 2000
    0 references
    modal logic
    0 references
    durative actions
    0 references
    dyadic action modalities
    0 references
    action execution
    0 references
    transition system
    0 references
    specifications
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references