BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-265993, author = {Bukhari, Syed Ali Asadullah and Lodhi, Faiq Khalid and Hasan, Osman and Shafique, Muhammad and Henkel, J{\"o}rg}, title = {CAnDy-TM: Comparative Analysis of Dynamic Thermal Management in Many-Cores using Model Checking}, booktitle = {Proceedings of the 2017 Design, Automation {\&} Test in Europe (DATE)}, year = {2017}, pages = {1289--1292}, journal = {IEEE}, issn = {1558-1101}, doi = {10.23919/DATE.2017.7927191}, note = {talk: 2017 IEEE/ACM 20th Design, Automation and Test in Europe Conference (DATE'17), Lausanne, Switzerland; 2017-03-27 -- 2017-03-31} } 1 Datensatz ausgegeben