@inproceedings{9c95073ced514a158516f131ba547a66,
title = "Statistical Model Checking: Past, Present, and Future",
author = "Larsen, {Kim Guldstrand} and Axel Legay",
year = "2016",
doi = "10.1007/978-3-319-47166-2_1",
language = "English",
isbn = "978-3-319-47165-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "3–15",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",
address = "Germany",
note = "ISOLA 2016 ; Conference date: 05-10-2016",
}