PT Unknown
AU Mancini, T
   Mari, F
   Melatti, I
   Salvo, I
   Tronci, E
   Gruber, J
   Hayes, B
   Prodanovic, M
   Elmegaard, L
TI Parallel Statistical Model Checking for Safety Verification in Smart Grids
SE 2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm)
PY 2018
BP 1
EP 6
DI 10.1109/SmartGridComm.2018.8587416
ER