https://hal.inria.fr/hal-01088859
Contributor : Sean Sedwards <>
Submitted on : Friday, November 28, 2014 - 6:56:13 PM Last modification on : Tuesday, March 23, 2021 - 9:54:02 AM Long-term archiving on: : Friday, April 14, 2017 - 11:19:08 PM
Axel Legay, Sean Sedwards. On Statistical Model Checking with PLASMA. The 8th International Symposium on Theoretical Aspects of Software Engineering, Sep 2014, Changsha, China. ⟨hal-01088859⟩