Benot Boyer, Kevin Corre, Axel Legay, Sean Sedwards. PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library.
Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. pp.160 - 164,
⟨10.1007/978-3-642-40196-1_12⟩.
⟨hal-01088411⟩