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

Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny

Browse the full ISoLA paper archive.