Kwiatkowska, M., Norman, G. and Parker, D. (2005) Probabilistic Model Checking and Power-Aware Computing. In: 7th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS), Torino, Italy, September 23-24, 2005, pp. 6-9.
Full text not currently available from Enlighten.
Item Type: | Conference Proceedings |
---|---|
Status: | Published |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | Norman, Dr Gethin |
Authors: | Kwiatkowska, M., Norman, G., and Parker, D. |
College/School: | College of Science and Engineering > School of Computing Science |
University Staff: Request a correction | Enlighten Editors: Update this record