Multiple verification in complex biological systems: the bone remodelling case study. (English) Zbl 1381.74152
Priami, Corrado (ed.) et al., Transactions on Computational Systems Biology XIV. Special issue on computational models for cell processes. Berlin: Springer (ISBN 978-3-642-35523-3/pbk). Lecture Notes in Computer Science 7625. Lecture Notes in Bioinformatics. Journal Subline, 53-76 (2012).