Analyzing various models of Circadian Clock and Cell Cycle coupling.
Attila Csikász-NagyAdrien FauréRoberto LarcherPaola LeccaIvan MuraFerenc JordánAlida PalmisanoAlessandro RomanelSean SedwardsHeike SiebertSylvain SolimanDenis ThieffryJudit ZámborszkyTommaso MazzaPaolo BallariniPublished in: Formal Methods in Molecular Biology (2009)