What is a cell cycle checkpoint? The \texttt{TotemBioNet} answer

DOI10.1007/978-3-030-60327-4_21zbMath1506.92026OpenAlexW3089367210MaRDI QIDQ2110690

Gilles Bernot, Déborah Boyenval, Hélène Collavizza, Jean-Paul Comet

Publication date: 22 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-60327-4_21

zbMATH Keywords

parameter identificationmodel-checkingtemporal logicHoare logicregulatory networkcell cyclediscrete modelling

Mathematics Subject Classification ID

Cell biology (92C37) Software, source code, etc. for problems pertaining to biology (92-04) Systems biology, networks (92C42)

Related Items (4)

TotemBioNet ⋮ Greening R. Thomas' framework with environment variables: a divide and conquer approach ⋮ Constrained Kripke structure for identifying parameters of biological models ⋮ Condition for periodic attractor in 4-dimensional repressilators

Uses Software

• NuSMV
• CoLoMoTo

This page was built for publication: What is a cell cycle checkpoint? The \texttt{TotemBioNet} answer