Author:
Andreychenko Alexander,Magnin Morgan,Inoue Katsumi
Subject
Applied Mathematics,General Biochemistry, Genetics and Molecular Biology,Modeling and Simulation,General Medicine,Statistics and Probability
Reference47 articles.
1. Coupling governs entrainment range of circadian clocks;Abraham;Mol. Syst. Biol.,2010
2. Hybrid modelling and dynamical analysis of gene regulatory networks with delays;Ahmad;ComPlexUs,2007
3. Model-checking for real-time systems;Alur,1990
4. Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking;Ballarini,2014
5. Analysing biochemical oscillation through probabilistic model checking;Ballarini;Electron. Notes Theoret. Comput. Sci.,2009
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献