Joëlle Despeyroux. (Mathematical) Logic for Systems Biology (Invited Paper). In Ezio Bartocci, Pietro Liò, Nicola Paoletti, editors, Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings. Volume 9859 of Lecture Notes in Computer Science, pages 3-12, Springer, 2016. [doi]
Abstract is missing.