Formal Analysis of the Wnt/β-catenin through Statistical Model Checking - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Formal Analysis of the Wnt/β-catenin through Statistical Model Checking

Fichier non déposé

Dates et versions

hal-01110747 , version 1 (28-01-2015)

Identifiants

  • HAL Id : hal-01110747 , version 1

Citer

Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny. Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. 6th International Symposium, ISoLA 2014, Tiziana Margaria, Bernhard Steffen, Oct 2014, Corfu, Greece. ⟨hal-01110747⟩
45 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More