CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks-Reference-Cited by-同舟云学术

CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks

Published:2011-06 Issue:26 Volume:412 Page:2854-2883
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Mateescu Radu,Monteiro Pedro T.,Dumas Estelle,de Jong Hidde

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference87 articles.

1. M. Adélaïde, G. Sutre, Parametric analysis and abstraction of genetic regulatory networks, in: Proc. 2nd Workshop on Concurrent Models in Molecular Biology, BioCONCUR 2004, London, UK, 2004.

2. Compilers: Principles, Techniques and Tools;Aho,1986

3. Counter-example guided predicate abstraction of hybrid systems;Alur;Theoret. Comput. Sci.,2006

4. Discrete abstractions of hybrid systems;Alur;Proc. IEEE,2000

5. Model building and model checking for biochemical processes;Antoniotti;Cell Bioch. Biophys.,2003

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

1. Approximate Simulation for Transition Systems with Regular Expressions;Communications in Computer and Information Science;2022

2. On the Model Checking Problem for Some Extension of CTL*;Automatic Control and Computer Sciences;2021-12

3. GR(1)*: GR(1) specifications extended withexistential guarantees;Formal Aspects of Computing;2021-08

4. Model checking interval temporal logics with regular expressions;Information and Computation;2020-06

5. Model Checking Approach to the Analysis of Biological Systems;Computational Biology;2019