ABC(SMC)\textsuperscript{2}: simultaneous inference and model checking of chemical reaction networks (Q2110675)

From MaRDI portal





scientific article; zbMATH DE number 7636376
Language Label Description Also known as
English
ABC(SMC)\textsuperscript{2}: simultaneous inference and model checking of chemical reaction networks
scientific article; zbMATH DE number 7636376

    Statements

    ABC(SMC)\textsuperscript{2}: simultaneous inference and model checking of chemical reaction networks (English)
    0 references
    0 references
    0 references
    22 December 2022
    0 references

    Identifiers