External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny. Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. Volume 8803 of Lecture Notes in Computer Science, pages 193-207, Springer, 2014. [doi]

Authors

Paolo Ballarini

This author has not been identified. Look up 'Paolo Ballarini' in Google

Emmanuelle Gallet

This author has not been identified. Look up 'Emmanuelle Gallet' in Google

Pascale Le Gall

This author has not been identified. Look up 'Pascale Le Gall' in Google

Matthieu Manceny

This author has not been identified. Look up 'Matthieu Manceny' in Google
runs on