@InProceedings{Mancini_etal2018,
author="Mancini, T.
and Mari, F.
and Melatti, I.
and Salvo, I.
and Tronci, E.
and Gruber, J.
and Hayes, B.
and Prodanovic, M.
and Elmegaard, L.",
title="Parallel Statistical Model Checking for Safety Verification in Smart Grids",
booktitle="2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm)",
year="2018",
pages="1--6",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=170), last updated on Wed, 30 Jan 2019 17:06:52 +0100",
doi="10.1109/SmartGridComm.2018.8587416",
opturl="https://doi.org/10.1109/SmartGridComm.2018.8587416",
file=":http://mclab.di.uniroma1.it/publications/papers/mancini/2018/170_Mancini_etal2018.pdf:PDF"
}