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

Wed, Oct 1, 2008·

Aurélien Rizk

Grégory Batt

Francois Fages

Sylvain Soliman

· 0 min read

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

Last updated on Wed, Oct 1, 2008

← Model Revision from Temporal Logic Properties in Computational Systems Biology Mon, Dec 1, 2008

Abstract interpretation and types for systems biology Fri, Aug 1, 2008 →