%0 Conference Proceedings
%T Model Checking Cyber-Physical Energy Systems
%A Driouich, Y.
%A Parente, M.
%A Tronci, E.
%S Proceedings of 2017 International Renewable and Sustainable Energy Conference, IRSEC 2017
%D 2018
%I Institute of Electrical and Electronics Engineers Inc.
%F Driouich_etal2018
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=177), last updated on Thu, 22 Nov 2018 15:20:30 +0100
%R 10.1109/IRSEC.2017.8477334
%U http://mclab.di.uniroma1.it/publications/papers/driouich/2018/177_Driouich_etal2018.pdf
%U https://doi.org/10.1109/IRSEC.2017.8477334