Probabilistic model checking and power-aware computing

Marta Kwiatkowska, Gethin Norman, David Parker

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	6-9
Number of pages	4
Publication status	Published - 1 Jan 2005
Event	7th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS '05) - Duration: 1 Jan 2005 → …

Conference	7th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS '05)
Period	1/01/05 → …

Cite this

@conference{ee53035ad98d49cda573a4beabf932cb,

title = "Probabilistic model checking and power-aware computing",

author = "Marta Kwiatkowska and Gethin Norman and David Parker",

year = "2005",

month = jan,

day = "1",

language = "English",

pages = "6--9",

note = "7th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS '05) ; Conference date: 01-01-2005",

}