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, François Fages, Sylvain Soliman
November 2014
HAL DOI
Type
Conference paper
Publication
In CMSB'14: Proceedings of the twelth international conference on Computational Methods for Systems Biology, LNBI, pages 114–128, Springer Verlag

Best student paper award