Probabilistic Model Checking and Power-Aware Computing

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
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