TY  - RPRT
TI  - Parallel Statistical Model Checking for Safety Verification in Smart Grids
AU  - T. Mancini
AU  - F. Mari
AU  - I. Melatti
AU  - I. Salvo
AU  - E. Tronci
AU  - J. K. Gruber
AU  - B. Hayes
AU  - M. Prodanovic
AU  - L. Elmegaard
PY  - 2021
DO  - 10.1109/smartgridcomm.2018.8587416
UR  - https://arxiv.org/abs/2106.10692
ID  - 2106.10692
ER  -