On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology

Aurélien Rizk, Grégory Batt, Francois Fages, Sylvain Soliman
October 2008
HAL DOI
Type
Conference paper
Publication
In Springer-Verlag, editor, CMSB'08: Proceedings of the fourth international conference on Computational Methods in Systems Biology, volume 5307 of Lecture Notes in Computer Science, pages 251–268