Author:
Bortolussi Luca,Policriti Alberto
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Lecture Notes in Computer Science;R. Alur,2001
2. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
3. Batt, G., Belta, C.: Model checking genetic regulatory networks with applications to synthetic biology. Technical Report 2006-IR-0030, CISE Tech. Rep., Boston University (2006)
4. Batt, G., Belta, C., Weiss, R.: Model checking liveness properties of genetic regulatory networks. In: Proceedings of TACAS, pp. 323–338 (2007)
5. Blossey, R., Cardelli, L., Phillips, A.: A compositional approach to the stochastic dynamics of gene networks. T. Comp. Sys. Biology, pp. 99–122 (2006)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献