Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings (Q1801315)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings
scientific article

    Statements

    Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings (English)
    0 references
    5 June 1993
    0 references
    Temporal logic
    0 references
    Specification
    0 references
    Proceedings
    0 references
    Altrincham (UK)
    0 references
    temporal logics
    0 references
    concurrent systems
    0 references
    communicating systems
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references