Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361)

From MaRDI portal
Revision as of 19:05, 22 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
Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
scientific article

    Statements

    Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (English)
    0 references
    3 May 2011
    0 references

    Identifiers