Login / Signup

Trace Simplifications Preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock.

Pauline TraynardFrançois FagesSylvain Soliman
Published in: CMSB (2014)
Keyphrases
  • temporal logic
  • probabilistic model
  • model checking
  • data sets
  • knowledge base