TY  - RPRT
TI  - Statistical Model Checking for Biological Applications
AU  - Paolo Zuliani
PY  - 2014
DO  - 10.1007/s10009-014-0343-0
UR  - https://arxiv.org/abs/1405.2705
ID  - 1405.2705
ER  -