PT Journal AU Toni Mancini Enrico Tronci Ivano Salvo Federico Mari Annalisa Massini Igor Melatti TI Computing Biological Model Parameters by Parallel Statistical Model Checking SO International Work Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2015) PY 2015 BP 542 EP 554 VL 9044 DI 10.1007/978-3-319-16480-9_52 ER