Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
type: Item
instance of: scholarly article
title: Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
zbMATH Open document ID: 1070.68059
author: Yanyan Li
published in: Theoretical Computer Science
publication date: 2004-10-27T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 92C40
Mathematics Subject Classification ID: 37N25
zbMATH DE Number: 2110964
zbMATH Keywords: Biochemical models
zbMATH Keywords: Hybrid automata
zbMATH Keywords: Bisimulation
zbMATH Keywords: Collapsing
describes a project that uses: Matlab
describes a project that uses: NuSMV
describes a project that uses: HyTech
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.03.064
OpenAlex ID: W2083227084
cites work: Q4552454
cites work: Q5456737
cites work: Q4417490
cites work: Q4310156
cites work: Characterizing finite Kripke structures in propositional temporal logic
cites work: Q4413225
cites work: Q4804909
cites work: Q4413202
cites work: Modelling biochemical pathways through enhanced \(\pi\)-calculus
cites work: Mathematical models of purine metabolism in man
cites work: Q4413203
cites work: Q4551136
cites work: Q4385542
cites work: Q4503930
cites work: HyTech: A model checker for hybrid systems
cites work: Q5592246
cites work: Results on the propositional \(\mu\)-calculus
cites work: Q4948549
cites work: A linear time solution to the single function coarsest partition problem
DOI: 10.1016/J.TCS.2004.03.064
description: scientific article; zbMATH DE number 2110964