%0 Conference Proceedings
%T Parallel Statistical Model Checking for Safety Verification in Smart Grids
%A Mancini, T.
%A Mari, F.
%A Melatti, I.
%A Salvo, I.
%A Tronci, E.
%A Gruber, J.
%A Hayes, B.
%A Prodanovic, M.
%A Elmegaard, L.
%S 2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm)
%D 2018
%F Mancini_etal2018
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=170), last updated on Wed, 30 Jan 2019 17:06:52 +0100
%R 10.1109/SmartGridComm.2018.8587416
%U http://mclab.di.uniroma1.it/publications/papers/mancini/2018/170_Mancini_etal2018.pdf
%U https://doi.org/10.1109/SmartGridComm.2018.8587416
%P 1-6