@Article{ToniMancini_etal2015,
author="Toni Mancini
and Enrico Tronci
and Ivano Salvo
and Federico Mari
and Annalisa Massini
and Igor Melatti",
title="Computing Biological Model Parameters by Parallel Statistical Model Checking",
journal="International Work Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2015)",
year="2015",
volume="9044",
pages="542--554",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=124), last updated on Thu, 14 Jan 2016 12:01:55 +0100",
doi="10.1007/978-3-319-16480-9_52",
opturl="https://doi.org/10.1007/978-3-319-16480-9_52",
file=":http://mclab.di.uniroma1.it/publications/papers/tonimancini/2015/124_ToniMancini_etal2015.pdf:PDF"
}