@inproceedings{LDB0,
title = {Statistical Model Checking: An Overview },
author = {Legay, Axel and Delahaye, Beno\^it and Bensalem, Saddek},
year = {2010},
booktitle = {Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings},
pages = {122-135},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6418},
team = {DCS, RSD},
}
