Mc3: A Steady-State Model and Constraint Consistency Checker for Biochemical Networks

BMC Systems Biology - United Kingdom
doi 10.1186/1752-0509-7-129
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Set Intersection and Consistency in Constraint Networks

Journal of Artificial Intelligence Research
Artificial Intelligence
2006English

Real-Time Dynamic Hydraulic Model for Water Distribution Networks: Steady State Modelling

2016English

A Symbolic Model Checker for ACTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Relationship Between Plant Hydraulic and Biochemical Properties Derived From a Steady-State Coupled Water and Carbon Transport Model

Plant, Cell and Environment
Plant SciencePhysiology
2003English

A Filtering Model With Steady-State Housing

Regional Science and Urban Economics
Urban StudiesEconomicsEconometrics
1997English

Z2SAL - Building a Model Checker for Z

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

McMas: A Model Checker for Multi-Agent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A Logic for Checking the Probabilistic Steady-State Properties of Reaction Networks

Journal of Computational Biology
GeneticsMolecular BiologyComputational TheorySimulationComputational MathematicsMathematicsModeling
2017English

Superposition Model for Steady State Visually Evoked Potentials

2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy