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)

Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-01098529
Contributor : Sylvain Soliman <>
Submitted on : Friday, December 26, 2014 - 1:25:58 PM
Last modification on : Monday, September 24, 2018 - 2:00:04 PM

Identifiers

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

Share

Metrics

Record views

290