Model Checking Liveness Properties of Genetic Regulatory Networks
From MaRDI portal
Publication:5758118
DOI10.1007/978-3-540-71209-1_25zbMath1186.92020OpenAlexW1540191989MaRDI QIDQ5758118
Calin Belta, Ron Weiss, Grégory Batt
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
Neural networks for/in biological studies, artificial life and related topics (92B20) Computing methodologies and applications (68U99) Systems biology, networks (92C42)
Related Items
On algorithmic analysis of transcriptional regulation by LTL model checking ⋮ Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
Uses Software