Trace Simplifications preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock (Best Student Paper Prize)

Type de document :
Communication dans un congrès
CMSB'14: Proceedings of the twelth international conference on Computational Methods for Systems Biology, Nov 2014, Manchester, United Kingdom. Springer Verlag, pp.114--128, 2014, LNBI. 〈10.1007/978-3-319-12982-2〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01098529
Contributeur : Sylvain Soliman <>
Soumis le : vendredi 26 décembre 2014 - 13:25:58
Dernière modification le : mardi 17 avril 2018 - 11:23:41

Identifiants

Collections

Citation

Pauline Traynard, François Fages, Sylvain Soliman. Trace Simplifications preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock (Best Student Paper Prize). CMSB'14: Proceedings of the twelth international conference on Computational Methods for Systems Biology, Nov 2014, Manchester, United Kingdom. Springer Verlag, pp.114--128, 2014, LNBI. 〈10.1007/978-3-319-12982-2〉. 〈hal-01098529〉

Partager

Métriques

Consultations de la notice

236