![](/img/cover-not-exists.png)
Using probabilistic model checking for dynamic power management
Gethin Norman, David Parker, Marta Kwiatkowska, Sandeep Shukla, Rajesh GuptaVolume:
17
Language:
english
Pages:
17
DOI:
10.1007/s00165-005-0062-0
Date:
August, 2005
File:
PDF, 378 KB
english, 2005