%0 Conference Proceedings %T Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids %A Tronci, E. %A Mancini, T. %A Mari, F. %A Melatti, I. %A Salvo, I. %A Prodanovic, M. %A Gruber, J. K. %A Hayes, B. %A Elmegaard, L. %S Proceedings of Smart Grid Communications (SmartGridComm), 2014 IEEE International Conference On %D 2014 %F Tronci_etal2014 %O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=121), last updated on Fri, 18 Mar 2016 23:05:11 +0100 %R 10.1109/SmartGridComm.2014.7007745 %U http://mclab.di.uniroma1.it/publications/papers/tronci/2014/121_Tronci_etal2014.pdf %U https://doi.org/10.1109/SmartGridComm.2014.7007745