Query-based verification of qualitative trends and oscillations in biochemical systems
type: Item
instance of: scholarly article
title: Query-based verification of qualitative trends and oscillations in biochemical systems
zbMATH Open document ID: 1209.68310
author: P. Ballarini
author: Maria Luisa Guerriero
published in: Theoretical Computer Science
publication date: 2010-05-11T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68U99
zbMATH DE Number: 5707085
zbMATH Keywords: model-checking
zbMATH Keywords: stochastic methods
zbMATH Keywords: qualitative/quantitative analysis of biochemical systems
describes a project that uses: BIOCHAM
describes a project that uses: PRISM
describes a project that uses: MC2
MaRDI profile type: Publication
full work available at URL: j.tcs.2010.02.010
OpenAlex ID: W1996074994
cites work: Probabilistic model checking of complex biological pathways
cites work: Q4472227
cites work: Stochastic Model Checking
cites work: The temporal semantics of concurrent programs
cites work: Q4324960
DOI: 10.1016/J.TCS.2010.02.010
Recommended article: Analysing Biochemical Oscillation through Probabilistic Model Checking
Recommended article: Verification of spatial and temporal modalities in biochemical systems
Recommended article: Verification of Dynamic Behaviour in Qualitative Molecular Networks Describing Gene Regulation, Signalling and Whole-cell Metabolism
Recommended article: Q4468975
Recommended article: Q4521852
Recommended article: Combining qualitative information and semi‐quantitative data for guaranteed invalidation of biochemical network models
Recommended article: Q5456737
Recommended article: Q4223245
description: scientific article; zbMATH DE number 5707085