TY  - CONF
AU  - Driouich, Y.
AU  - Parente, M.
AU  - Tronci, E.
PY  - 2018
DA  - 2018//
TI  - Model Checking Cyber-Physical Energy Systems
BT  - Proceedings of 2017 International Renewable and Sustainable Energy Conference, IRSEC 2017
PB  - Institute of Electrical and Electronics Engineers Inc.
L1  - http://mclab.di.uniroma1.it/publications/papers/driouich/2018/177_Driouich_etal2018.pdf
UR  - https://doi.org/10.1109/IRSEC.2017.8477334
DO  - 10.1109/IRSEC.2017.8477334
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=177), last updated on Thu, 22 Nov 2018 15:20:30 +0100
ID  - Driouich_etal2018
ER  -