@inproceedings{63503c8436434723926a4afee28ff6e2,
title = "Checking and Distributing Statistical Model Checking",
keywords = "statistical model checking, Distributed computing",
author = "Bulychev, {Peter E.} and Alexandre David and Larsen, {Kim Guldstrand} and Axel Legay and Marius Miku{\v c}ionis and Poulsen, {Danny B{\o}gsted}",
year = "2012",
month = apr,
day = "3",
doi = "10.1007/978-3-642-28891-3_39",
language = "English",
isbn = "978-3-642-28890-6",
volume = "7226",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "449--463",
editor = "Goodloe, {Alwyn E.} and Suzette Person",
booktitle = "NASA Formal Methods",
address = "Germany",
note = "NASA Formal Methods, NFM 2012 ; Conference date: 03-04-2012 Through 05-04-2012",
}