www.prismmodelchecker.org
[PBBM98] G. Paleologo, L. Benini, A. Bogliolo and G. Micheli. Policy optimization for dynamic power management. In Proc. Design Automation Conferenc, pages 182-187. 1988. [bib]
Downloads:  bib bib

Publications