@inproceedings{2b9cbdb785104f9fb58c6ca6be60fe98,
title = "Closed-loop control for power and thermal management in multi-core processors: Formal methods and industrial practice",
author = "Elfadel, {Ibrahim M.} and Radu Marculescu and David Atienza",
year = "2013",
doi = "10.7873/date.2013.374",
language = "British English",
isbn = "9783981537000",
series = "Proceedings -Design, Automation and Test in Europe, DATE",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "1879--1881",
booktitle = "Proceedings - Design, Automation and Test in Europe, DATE 2013",
address = "United States",
note = "16th Design, Automation and Test in Europe Conference and Exhibition, DATE 2013 ; Conference date: 18-03-2013 Through 22-03-2013",
}