%0 Conference Paper %1 conf/iccd/YardiCHMH05 %A Yardi, Shrirang M. %A Channakeshava, Karthik %A Hsiao, Michael S. %A Martin, Thomas L. %A Ha, Dong S. %B ICCD %D 2005 %I IEEE Computer Society %K dblp %P 119-126 %T A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management. %U http://dblp.uni-trier.de/db/conf/iccd/iccd2005.html#YardiCHMH05 %@ 0-7695-2451-6

@inproceedings{conf/iccd/YardiCHMH05, added-at = {2023-03-23T00:00:00.000+0100}, author = {Yardi, Shrirang M. and Channakeshava, Karthik and Hsiao, Michael S. and Martin, Thomas L. and Ha, Dong S.}, biburl = {https://www.bibsonomy.org/bibtex/224af5bad541281252f95a5a5ccaf9f97/dblp}, booktitle = {ICCD}, crossref = {conf/iccd/2005}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICCD.2005.9}, interhash = {f944d3f537e8fe1ff2758e2e49688025}, intrahash = {24af5bad541281252f95a5a5ccaf9f97}, isbn = {0-7695-2451-6}, keywords = {dblp}, pages = {119-126}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:22:37.000+0200}, title = {A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management.}, url = {http://dblp.uni-trier.de/db/conf/iccd/iccd2005.html#YardiCHMH05}, year = 2005 }