Guarded Transitions in Evolving Specifications (Q2996129)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Guarded Transitions in Evolving Specifications
scientific article

    Statements

    Guarded Transitions in Evolving Specifications (English)
    0 references
    0 references
    0 references
    6 May 2011
    0 references

    Identifiers