Modélisation formelle de comportements cycliques biologiques avec points de contrôle : la régulation du cycle cellulaire. (Formal modelling of cyclic biological behaviours with checkpoints : the cell cycle regulation)

Déborah Boyenval. Modélisation formelle de comportements cycliques biologiques avec points de contrôle : la régulation du cycle cellulaire. (Formal modelling of cyclic biological behaviours with checkpoints : the cell cycle regulation). PhD thesis, Côte d'Azur University, Nice, France, 2022. [doi]