Chris J. Banks, Daniel D. Seaton, Ian Stark. Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic. In Olivier F. Roux, Jérémie Bourdon, editors, Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings. Volume 9308 of Lecture Notes in Computer Science, pages 222-238, Springer, 2015. [doi]
Abstract is missing.