Statistical model checking: An overview. (2010)

by LDB10 Axel Legay, Benoıt Delahaye, Saddek Bensalem
Venue:In RV,