Constrained Kripke structure for identifying parameters of biological models
-
Published:2024-05
Issue:
Volume:996
Page:114505
-
ISSN:0304-3975
-
Container-title:Theoretical Computer Science
-
language:en
-
Short-container-title:Theoretical Computer Science
Author:
Comet Jean-PaulORCID,
Collavizza Hélène,
Gibart Laetitia