Statistical model checking: An overview (2010)

by Axel Legay, Benoît Delahaye, Saddek Bensalem
Venue:RV 2010