Catégorie Communication dans un congrè Auteurs Paolo Ballarini Emmanuelle Gallet Pascale Le Gall Matthieu Manceny https://hal.science/hal-01110747v1 doc ID 1110747 Nom Formal Analysis of the Wnt/β-catenin through Statistical Model Checking Date de publication ven 07/03/2025 - 12:00