Author:
Jha Sumit K.,Clarke Edmund M.,Langmead Christopher J.,Legay Axel,Platzer André,Zuliani Paolo
Publisher
Springer Berlin Heidelberg
Reference47 articles.
1. Antoniotti, M., Policriti, A., Ugel, N., Mishra, B.: Model building and model checking for biochemical processes. Cell Biochem. Biophys. 38(3), 271–286 (2003)
2. Lecture Notes in Computer Science;C. Baier,1997
3. Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time markov chains. IEEE Trans. Software Eng. 29(6), 524–541 (2003)
4. Bailey, N.: The Elements of Stochastic Processes with Applications to the Natural Sciences. Wiley-IEEE (1990)
5. Barkai, N., Leibler, S.: Biological rhythms: Circadian clocks limited by noise. Nature 403, 267–268 (2000)
Cited by
153 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献