TY - CONF AU - Mancini, T. AU - Mari, F. AU - Melatti, I. AU - Salvo, I. AU - Tronci, E. AU - Gruber, J. AU - Hayes, B. AU - Prodanovic, M. AU - Elmegaard, L. PY - 2018 DA - 2018// TI - Parallel Statistical Model Checking for Safety Verification in Smart Grids BT - 2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm) SP - 1 EP - 6 L1 - http://mclab.di.uniroma1.it/publications/papers/mancini/2018/170_Mancini_etal2018.pdf UR - https://doi.org/10.1109/SmartGridComm.2018.8587416 DO - 10.1109/SmartGridComm.2018.8587416 N1 - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=170), last updated on Wed, 30 Jan 2019 17:06:52 +0100 ID - Mancini_etal2018 ER -