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)

Sat, Nov 1, 2014·
Pauline Traynard
,
François Fages
,
Sylvain Soliman
· 1 min read
Type
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