%0 Conference Paper %1 conf/wetice/IqtedarHSH15 %A Iqtedar, Shafaq %A Hasan, Osman %A Shafique, Muhammad %A Henkel, Jörg %B WETICE %D 2015 %E Reddy, Sumitra %I IEEE Computer Society %K dblp %P 210-215 %T Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems. %U http://dblp.uni-trier.de/db/conf/wetice/wetice2015w.html#IqtedarHSH15 %@ 978-1-4673-7692-1

@inproceedings{conf/wetice/IqtedarHSH15, added-at = {2016-05-11T00: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/2ca62442b21eec565b0d5fd10e6ee75e6/dblp}, booktitle = {WETICE}, crossref = {conf/wetice/2015w}, editor = {Reddy, Sumitra}, ee = {http://doi.ieeecomputersociety.org/10.1109/WETICE.2015.39}, interhash = {d3dd31924a3fd10efc865349e665a4e2}, intrahash = {ca62442b21eec565b0d5fd10e6ee75e6}, isbn = {978-1-4673-7692-1}, keywords = {dblp}, pages = {210-215}, publisher = {IEEE Computer Society}, timestamp = {2016-05-12T09:35:52.000+0200}, title = {Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems.}, url = {http://dblp.uni-trier.de/db/conf/wetice/wetice2015w.html#IqtedarHSH15}, year = 2015 }