TY  - JOUR
AU  - Toni Mancini
AU  - Enrico Tronci
AU  - Ivano Salvo
AU  - Federico Mari
AU  - Annalisa Massini
AU  - Igor Melatti
PY  - 2015
DA  - 2015//
TI  - Computing Biological Model Parameters by Parallel Statistical Model Checking
JO  - International Work Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2015)
SP  - 542
EP  - 554
VL  - 9044
L1  - http://mclab.di.uniroma1.it/publications/papers/tonimancini/2015/124_ToniMancini_etal2015.pdf
UR  - https://doi.org/10.1007/978-3-319-16480-9_52
DO  - 10.1007/978-3-319-16480-9_52
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=124), last updated on Thu, 14 Jan 2016 12:01:55 +0100
ID  - ToniMancini_etal2015
ER  -