An equivalent CTL formulation for condition sequences (Q816698)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An equivalent CTL formulation for condition sequences
scientific article

    Statements

    An equivalent CTL formulation for condition sequences (English)
    0 references
    0 references
    0 references
    23 February 2006
    0 references
    temporal logic
    0 references
    computation tree logic (CTL)
    0 references
    discrete event systems (DES)
    0 references
    condition systems
    0 references

    Identifiers