Communication Dans Un Congrès
Année : 2008
Sylvain Soliman : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00419781
Soumis le : vendredi 25 septembre 2009-10:18:16
Dernière modification le : jeudi 3 février 2022-11:18:10
Dates et versions
Identifiants
- HAL Id : inria-00419781 , version 1
- DOI : 10.1007/978-3-540-88562-7_19
Citer
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⟩
81
Consultations
0
Téléchargements