共 50 条
- [7] Identification of a link between Wnt/β-catenin signalling and the cell fusion pathway Nature Communications, 2
- [8] Formal Analysis of the Wnt/β-catenin Pathway through Statistical Model Checking LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II, 2014, 8803 : 193 - 207