TY  - RPRT
TI  - Distributed Parametric and Statistical Model Checking
AU  - Peter Bulychev
AU  - Alexandre David
AU  - Kim Guldstrand Larsen
AU  - Marius Mikučionis
AU  - Axel Legay
PY  - 2011
DO  - 10.4204/eptcs.72.4
UR  - https://arxiv.org/abs/1111.0370
ID  - 1111.0370
ER  -