PT Unknown AU Tronci, E Mancini, T Mari, F Melatti, I Salvo, I Prodanovic, M Gruber, JK Hayes, B Elmegaard, L TI Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids BT Proceedings of the 5th IEEE International Conference On Smart Grid Communications (SmartGridComm 2014) PY 2014 DI 10.1109/SmartGridComm.2014.7007745 ER