Compositional Action System Derivation Using Enforced Properties (Q3575269)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Compositional Action System Derivation Using Enforced Properties
scientific article

    Statements

    Compositional Action System Derivation Using Enforced Properties (English)
    0 references
    0 references
    0 references
    26 July 2010
    0 references
    0 references
    0 references