On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology - Archive ouverte HAL
Conference Papers Year : 2008

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

Aurélien Rizk
  • Function : Author
  • PersonId : 849936
Constraint programming
Grégory Batt
Constraint programming
Francois Fages
Constraint programming
Sylvain Soliman
Constraint programming
CV

Domains

Programming Languages [cs.PL] Bioinformatics [q-bio.QM] Quantitative Methods [q-bio.QM]

Sylvain Soliman  : Connect in order to contact the contributor

https://inria.hal.science/inria-00419781

Submitted on : Friday, September 25, 2009-10:18:16 AM

Last modification on : Thursday, February 3, 2022-11:18:10 AM

Consult on ISTEX platform

Dates and versions

inria-00419781 , version 1 (25-09-2009)

Identifiers

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2
78 View
0 Download

Altmetric

Share

More