@inproceedings{lio2011multiple, author = {Pietro Li{\`{o}} and Emanuela Merelli and Nicola Paoletti}, title = {Multiple verification in computational modeling of bone pathologies}, booktitle = {Computational Models for Cell Processes (CompMod 2011)}, pages = {82--96}, year = {2011}, doi = {10.4204/EPTCS.67.8}, }