Dependency graphs and mass conservation in reaction systems (Q496028)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Dependency graphs and mass conservation in reaction systems
scientific article

    Statements

    Dependency graphs and mass conservation in reaction systems (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    16 September 2015
    0 references
    reaction system
    0 references
    model checking
    0 references
    mass conservation
    0 references
    conserved set
    0 references
    conservation dependency graph
    0 references
    simulator
    0 references

    Identifiers