Specification of Asynchronous Component Systems with Modal I/O-Petri Nets (Q2830035)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Specification of Asynchronous Component Systems with Modal I/O-Petri Nets
scientific article

    Statements

    Specification of Asynchronous Component Systems with Modal I/O-Petri Nets (English)
    0 references
    0 references
    0 references
    0 references
    9 November 2016
    0 references

    Identifiers