%0 Conference Paper %1 conf/dac/SorinMZ14 %A Sorin, Daniel J. %A Matthews, Opeoluwa %A Zhang, Meng %B DAC %D 2014 %I ACM %K %P 3:1-3:3 %T Architecting Dynamic Power Management to be Formally Verifiable. %U http://dblp.uni-trier.de/db/conf/dac/dac2014.html#SorinMZ14 %@ 978-1-4503-2730-5

@inproceedings{conf/dac/SorinMZ14, added-at = {2023-12-12T18:38:16.000+0100}, author = {Sorin, Daniel J. and Matthews, Opeoluwa and Zhang, Meng}, biburl = {https://www.bibsonomy.org/bibtex/2a3cc8c71dcdd6589a7a4fc74d3ba9d92/admin}, booktitle = {DAC}, crossref = {conf/dac/2014}, ee = {https://doi.org/10.1145/2593069.2596669}, interhash = {1527bf8e3cf7a4004a59e668d4655bd7}, intrahash = {a3cc8c71dcdd6589a7a4fc74d3ba9d92}, isbn = {978-1-4503-2730-5}, keywords = {}, pages = {3:1-3:3}, publisher = {ACM}, timestamp = {2023-12-12T18:38:16.000+0100}, title = {Architecting Dynamic Power Management to be Formally Verifiable.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2014.html#SorinMZ14}, year = 2014 }