TY  - RPRT
TI  - Efficient Parallel Statistical Model Checking of Biochemical Networks
AU  - Paolo Ballarini
AU  - Michele Forlin
AU  - Tommaso Mazza
AU  - Davide Prandi
PY  - 2009
DO  - 10.4204/eptcs.14.4
UR  - https://arxiv.org/abs/0912.2551
ID  - 0912.2551
ER  -