@inproceedings{a7e5bf04de254e55a279c4f64e6fec4f,
title = "Statistical model checking of dynamic networks of stochastic hybrid automata",
author = "Alexandre David and Larsen, {Kim Guldstrand} and Axel Legay and Poulsen, {Danny B{\o}gsted}",
year = "2014",
doi = "10.14279/tuj.eceasst.66.893",
language = "English",
volume = "66",
journal = "Electronic Communications of the EASST",
issn = "1863-2122",
publisher = "European Association of Software Science and Technology",
note = "13th International Workshop on Automated Verification of Critical Systems, AVoCS 2013 ; Conference date: 11-09-2013 Through 13-09-2013",
}