Modular verification of chemical reaction network encodings via serializability analysis (Q288812)

From MaRDI portal
Revision as of 19:48, 19 June 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Modular verification of chemical reaction network encodings via serializability analysis
scientific article

    Statements

    Modular verification of chemical reaction network encodings via serializability analysis (English)
    0 references
    0 references
    0 references
    0 references
    27 May 2016
    0 references

    Identifiers