On the Power of Statistical Model Checking [chapter]

Kim G. Larsen, Axel Legay
2016 Lecture Notes in Computer Science  
This paper contains
doi:10.1007/978-3-319-47169-3_62 fatcat:n5qwlsmzkvaqnfmkjdbfgps66a