%0 Journal Article %1 journals/fac/NormanPKSG05 %A Norman, Gethin %A Parker, David %A Kwiatkowska, Marta Z. %A Shukla, Sandeep K. %A Gupta, Rajesh %D 2005 %J Formal Aspects Comput. %K dblp %N 2 %P 160-176 %T Using probabilistic model checking for dynamic power management. %U http://dblp.uni-trier.de/db/journals/fac/fac17.html#NormanPKSG05 %V 17

@article{journals/fac/NormanPKSG05, added-at = {2022-05-09T00:00:00.000+0200}, author = {Norman, Gethin and Parker, David and Kwiatkowska, Marta Z. and Shukla, Sandeep K. and Gupta, Rajesh}, biburl = {https://www.bibsonomy.org/bibtex/2e398c5ffc26b856da03f8b9392534442/dblp}, ee = {https://www.wikidata.org/entity/Q57526672}, interhash = {9a1150d9a66c9cffd28e507714b1cf53}, intrahash = {e398c5ffc26b856da03f8b9392534442}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 2, pages = {160-176}, timestamp = {2024-04-09T05:37:23.000+0200}, title = {Using probabilistic model checking for dynamic power management.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac17.html#NormanPKSG05}, volume = 17, year = 2005 }