No label defined (Q4942625)

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

    Statements

    0 references
    0 references
    16 March 2000
    0 references
    0 references
    coupled simulation equivalence
    0 references
    congruence
    0 references
    transition systems
    0 references