Model Checking Genetic Regulatory Networks Using GNA and CADP-Reference-Cited by-同舟云学术

Model Checking Genetic Regulatory Networks Using GNA and CADP

Published:2004 Issue: Volume: Page:158-163
ISSN:0302-9743
Container-title:Model Checking Software
language:
Short-container-title:

Author:

Batt Grégory,Bergamini Damien,de Jong Hidde,Garavel Hubert,Mateescu Radu

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24732-6_12

Reference14 articles.

1. Lecture Notes in Computer Science;R. Alur,2001

2. Lecture Notes in Computer Science;M. Antoniotti,2003

3. Batt, G., de Jong, H., Geiselmann, J., Page, M.: Analysis of genetic regulatory networks: A model-checking approach. In: Salles, P., Bredeweg, B. (eds.) Proc. 17th Int. Work. Qualitative Reasoning (QR 2003), Brasilia, Brazil, pp. 31–38 (2003)

4. Lecture Notes in Computer Science;N. Chabrier,2003

5. de Jong, H., Geiselmann, J., Batt, G., Hernandez, C., Page, M.: Qualitative simulation of the initiation of sporulation. In: B. subtilis. Bull. Math. Biol. (2004) (in press)

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. What is a Cell Cycle Checkpoint? The TotemBioNet Answer;Computational Methods in Systems Biology;2020

2. Artificial Intelligence in Biological Modelling;A Guided Tour of Artificial Intelligence Research;2020

3. Computational Modeling, Formal Analysis, and Tools for Systems Biology;PLOS Computational Biology;2016-01-21

4. Formal Analysis of the Genetic Toggle;Computational Methods in Systems Biology;2009

5. On temporal logic constraint solving for analyzing numerical data time series;Theoretical Computer Science;2008-11