Model Checking Liveness Properties of Genetic Regulatory Networks
From MaRDI portal
Publication:5758118
DOI10.1007/978-3-540-71209-1_25zbMath1186.92020MaRDI QIDQ5758118
Calin Belta, Grégory Batt, Ron Weiss
Publication date: 3 September 2007
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71209-1_25
92B20: Neural networks for/in biological studies, artificial life and related topics
68U99: Computing methodologies and applications
92C42: Systems biology, networks
Related Items
On algorithmic analysis of transcriptional regulation by LTL model checking, Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
Uses Software