Shafaq Iqtedar, Osman Hasan, Muhammad Shafique, Jörg Henkel
Formal probabilistic analysis of distributed dynamic thermal management
DATE, 2015.
@inproceedings{DATE-2015-IqtedarHSH,
acmid = "2757095",
author = "Shafaq Iqtedar and Osman Hasan and Muhammad Shafique and Jörg Henkel",
booktitle = "{Proceedings of the 19th Conference and Exhibition on Design, Automation and Test in Europe}",
isbn = "978-3-9815370-4-8",
pages = "1221--1224",
publisher = "{ACM}",
title = "{Formal probabilistic analysis of distributed dynamic thermal management}",
year = 2015,
}