@inproceedings{3f42afeb085742a8980870fe4a29cd0d,
title = "Statistical model checking the 2018 edition!",
author = "{Guldstrand Larsen}, Kim and Axel Legay",
year = "2018",
month = jan,
day = "1",
doi = "10.1007/978-3-030-03421-4_17",
language = "English",
isbn = "9783030034207",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "261--270",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "ISoLA 2018",
address = "Germany",
note = "8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 ; Conference date: 05-11-2018 Through 09-11-2018",
}