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

Type de document :
Communication dans un congrès
Springer-Verlag. CMSB'08: Proceedings of the fourth international conference on Computational Methods in Systems Biology, Oct 2008, Rostock, Germany. 5307, pp.251--268, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-88562-7_19〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00419781
Contributeur : Sylvain Soliman <>
Soumis le : vendredi 25 septembre 2009 - 10:18:16
Dernière modification le : lundi 24 septembre 2018 - 14:00:04

Lien texte intégral

Identifiants

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. Springer-Verlag. CMSB'08: Proceedings of the fourth international conference on Computational Methods in Systems Biology, Oct 2008, Rostock, Germany. 5307, pp.251--268, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-88562-7_19〉. 〈inria-00419781〉

Partager

Métriques

Consultations de la notice

105