PT Unknown
AU Driouich, Y
   Parente, M
   Tronci, E
TI Model Checking Cyber-Physical Energy Systems
SE Proceedings of 2017 International Renewable and Sustainable Energy Conference, IRSEC 2017
PY 2018
DI 10.1109/IRSEC.2017.8477334
ER