www.prismmodelchecker.org
[QWP99] Q. Qiu, Q. Wu and M. Pedram. Stochastic modeling of a power-managed system: construction and optimization. In Proc. International Symposium on Low Power Electronics and Design, pages 194-199, ACM Press. 1999. [bib]
Downloads:  bib bib

Publications