www.prismmodelchecker.org
[QP99] Q. Qiu and M. Pedram. Dynamic power management based on continuous-time Markov decision processes. In Proc. Design Automation Conference, pages 555-561. 1999. [bib]
Downloads:  bib bib

Publications