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

Complete list of metadatas

https://hal.inria.fr/inria-00419781
Contributor : Sylvain Soliman <>
Submitted on : Friday, September 25, 2009 - 10:18:16 AM
Last modification on : Monday, September 24, 2018 - 2:00:04 PM

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

131