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) - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

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)

Pauline Traynard
  • Fonction : Auteur
  • PersonId : 962685
Computational systems biology and optimization
François Fages
Computational systems biology and optimization
Sylvain Soliman
Computational systems biology and optimization
CV

Domaines

Langage de programmation [cs.PL]

Sylvain Soliman  : Connectez-vous pour contacter le contributeur

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

Soumis le : vendredi 26 décembre 2014-13:25:58

Dernière modification le : vendredi 21 janvier 2022-03:15:42

Fichier non déposé

Dates et versions

hal-01098529 , version 1 (26-12-2014)

Identifiants

Citer

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. pp.114--128, ⟨10.1007/978-3-319-12982-2⟩. ⟨hal-01098529⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2
126 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More