Model Checking Liveness Properties of Genetic Regulatory Networks

doi 10.1007/978-3-540-71209-1_25
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer Berlin Heidelberg

Related search

Structural Systems Identification of Genetic Regulatory Networks

Bioinformatics
StatisticsProbabilityMolecular BiologyBiochemistryComputational TheoryComputer Science ApplicationsMathematicsComputational Mathematics
2008English

Deterministic and Stochastic Models of Genetic Regulatory Networks

Methods in Enzymology
2009English

Type Checking Liveness for Collaborative Processes With Bounded and Unbounded Recursion

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Model Checking Medium Access Control for Sensor Networks

2006English

Modelling Genetic Regulatory Networks From Specified Behaviours

BMC Systems Biology
Molecular BiologyApplied MathematicsStructural BiologySimulationComputer Science ApplicationsModeling
2007English

Model-Checking Temporal Properties of Real-Time HTL Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

State Observer Design for Delayed Genetic Regulatory Networks

Computational and Mathematical Methods in Medicine
GeneticsMolecular BiologyBiochemistryApplied MathematicsMicrobiology SimulationImmunologyMedicineModeling
2014English

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

Journal of Computational Biology
GeneticsMolecular BiologyComputational TheorySimulationComputational MathematicsMathematicsModeling
2017English

Checking Traces for Regulatory Conformance

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy