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
Deposit and Record Details
Deposit and Record Details