Edinburgh Research Explorer

Stochastic Modelling of the Kai-based Circadian Clock

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Stochastic Modelling of the Kai-based Circadian Clock. / Banks, Christopher; Clark, Allan; Georgoulas, Anastasios-Andreas; Gilmore, Stephen; Hillston, Jane; Milios, Dimitrios; Stark, Ian.

Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling (PASM) and the Eleventh International Workshop on Parallel and Distributed Methods in Verification (PDMC).. Vol. 296 Elsevier, 2012. p. 43-60 (Electronic Notes in Theoretical Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Banks, C, Clark, A, Georgoulas, A-A, Gilmore, S, Hillston, J, Milios, D & Stark, I 2012, Stochastic Modelling of the Kai-based Circadian Clock. in Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling (PASM) and the Eleventh International Workshop on Parallel and Distributed Methods in Verification (PDMC).. vol. 296, Electronic Notes in Theoretical Computer Science, Elsevier, pp. 43-60, Sixth International Workshop on the Practical Application of Stochastic Modelling (PASM) and the Eleventh International Workshop on Parallel and Distributed Methods in Verification (PDMC), London, United Kingdom, 1/09/12. https://doi.org/10.1016/j.entcs.2013.07.004

APA

Banks, C., Clark, A., Georgoulas, A-A., Gilmore, S., Hillston, J., Milios, D., & Stark, I. (2012). Stochastic Modelling of the Kai-based Circadian Clock. In Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling (PASM) and the Eleventh International Workshop on Parallel and Distributed Methods in Verification (PDMC). (Vol. 296, pp. 43-60). (Electronic Notes in Theoretical Computer Science). Elsevier. https://doi.org/10.1016/j.entcs.2013.07.004

Vancouver

Banks C, Clark A, Georgoulas A-A, Gilmore S, Hillston J, Milios D et al. Stochastic Modelling of the Kai-based Circadian Clock. In Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling (PASM) and the Eleventh International Workshop on Parallel and Distributed Methods in Verification (PDMC).. Vol. 296. Elsevier. 2012. p. 43-60. (Electronic Notes in Theoretical Computer Science). https://doi.org/10.1016/j.entcs.2013.07.004

Author

Banks, Christopher ; Clark, Allan ; Georgoulas, Anastasios-Andreas ; Gilmore, Stephen ; Hillston, Jane ; Milios, Dimitrios ; Stark, Ian. / Stochastic Modelling of the Kai-based Circadian Clock. Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling (PASM) and the Eleventh International Workshop on Parallel and Distributed Methods in Verification (PDMC).. Vol. 296 Elsevier, 2012. pp. 43-60 (Electronic Notes in Theoretical Computer Science).