Sadegh Esmaeil Zadeh Soudjani, Sebastian Gerwinn, Christian Ellen, Martin Fränzle, Alessandro Abate. Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads. In Gethin Norman, William H. Sanders, editors, Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. Volume 8657 of Lecture Notes in Computer Science, pages 57-73, Springer, 2014. [doi]
@inproceedings{SoudjaniGEFA14,
title = {Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads},
author = {Sadegh Esmaeil Zadeh Soudjani and Sebastian Gerwinn and Christian Ellen and Martin Fränzle and Alessandro Abate},
year = {2014},
doi = {10.1007/978-3-319-10696-0_6},
url = {http://dx.doi.org/10.1007/978-3-319-10696-0_6},
researchr = {https://researchr.org/publication/SoudjaniGEFA14},
cites = {0},
citedby = {0},
pages = {57-73},
booktitle = {Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings},
editor = {Gethin Norman and William H. Sanders},
volume = {8657},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-10695-3},
}