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 : mercredi 7 octobre 2015 - 01:14:15

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

223