Author:
Bartocci Ezio,Liò Pietro,Merelli Emanuela,Paoletti Nicola
Publisher
Springer Berlin Heidelberg
Reference42 articles.
1. Akman, O.E., Guerriero, M.L., Loewe, L., Troein, C.: Complementary approaches to understanding the plant circadian clock. In: FBTC. EPTCS, vol. 19, pp. 1–19 (2010)
2. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model-checking continuous-time Markov chains. ACM Transactions on Computational Logic 1(1), 162–170 (2000)
3. Barbuti, R., Cataudella, S., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: A probabilistic model for molecular systems. Fundamenta Informaticae 67(1-3), 13–27 (2005)
4. Lecture Notes in Computer Science;E. Bartocci,2011
5. Batt, G., Belta, C., Weiss, R.: Temporal logic analysis of gene networks under parameter uncertainty. IEEE Transactions on Automatic Control 53, 215–229 (2008)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献