@inproceedings{3f42afeb085742a8980870fe4a29cd0d,
title = "Statistical model checking the 2018 edition!",
abstract = "This short note introduces statistical model checking and gives a brief overview of the Statistical Model Checking, past present and future session at Isola 2018. This is the fourth edition of the track at Isola.",
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",
}