Realizability of high-level message sequence charts: closing the gaps (Q1884911)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Realizability of high-level message sequence charts: closing the gaps
scientific article

    Statements

    Realizability of high-level message sequence charts: closing the gaps (English)
    0 references
    0 references
    27 October 2004
    0 references
    Verification
    0 references
    Message sequence charts
    0 references
    Complexity
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers