%0 Journal Article
%T Computing Biological Model Parameters by Parallel Statistical Model Checking
%A Toni Mancini
%A Enrico Tronci
%A Ivano Salvo
%A Federico Mari
%A Annalisa Massini
%A Igor Melatti
%J International Work Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2015)
%D 2015
%V 9044
%F ToniMancini_etal2015
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=124), last updated on Thu, 14 Jan 2016 12:01:55 +0100
%R 10.1007/978-3-319-16480-9_52
%U http://mclab.di.uniroma1.it/publications/papers/tonimancini/2015/124_ToniMancini_etal2015.pdf
%U https://doi.org/10.1007/978-3-319-16480-9_52
%P 542-554