Skip to Main content Skip to Navigation
New interface
Conference papers

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

Complete list of metadata

https://hal.inria.fr/inria-00419781
Contributor : Sylvain Soliman Connect in order to contact the contributor
Submitted on : Friday, September 25, 2009 - 10:18:16 AM
Last modification on : Thursday, February 3, 2022 - 11:18:10 AM

Links full text

Identifiers

Collections

Citation

Aurélien Rizk, Grégory Batt, Francois Fages, Sylvain Soliman. On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. CMSB'08: Proceedings of the fourth international conference on Computational Methods in Systems Biology, Monika Heiner and Adeline Uhrmacher, Oct 2008, Rostock, Germany. pp.251--268, ⟨10.1007/978-3-540-88562-7_19⟩. ⟨inria-00419781⟩

Share

Metrics

Record views

50