Cyrille Jegourel, Axel Legay, Sean Sedwards. A Platform for High Performance Statistical Model Checking – PLASMA.
TACAS 2012 - 18th International Conference Tools and Algorithms for the Construction and Analysis of Systems, Mar 2012, Tallinn, Estonia. pp.498 - 503,
⟨10.1007/978-3-642-28756-5_37⟩.
⟨hal-01087824⟩