%0 Conference Paper %1 conf/date/IqtedarHSH15 %A Iqtedar, Shafaq %A Hasan, Osman %A Shafique, Muhammad %A Henkel, Jörg %B DATE %D 2015 %E Nebel, Wolfgang %E Atienza, David %I ACM %K dblp %P 1221-1224 %T Formal probabilistic analysis of distributed dynamic thermal management. %U http://dblp.uni-trier.de/db/conf/date/date2015.html#IqtedarHSH15 %@ 978-3-9815370-4-8

@inproceedings{conf/date/IqtedarHSH15, added-at = {2015-04-28T00:00:00.000+0200}, author = {Iqtedar, Shafaq and Hasan, Osman and Shafique, Muhammad and Henkel, Jörg}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a1136b766450facfa2c2e718d653534a/dblp}, booktitle = {DATE}, crossref = {conf/date/2015}, editor = {Nebel, Wolfgang and Atienza, David}, ee = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=7092574}, interhash = {a7d2da45c48cdf9ecab644109874bad2}, intrahash = {a1136b766450facfa2c2e718d653534a}, isbn = {978-3-9815370-4-8}, keywords = {dblp}, pages = {1221-1224}, publisher = {ACM}, timestamp = {2016-02-02T13:24:23.000+0100}, title = {Formal probabilistic analysis of distributed dynamic thermal management.}, url = {http://dblp.uni-trier.de/db/conf/date/date2015.html#IqtedarHSH15}, year = 2015 }