![](/img/cover-not-exists.png)
PRISM
Kwiatkowska, Marta, Norman, Gethin, Parker, DavidVolume:
36
Language:
english
Journal:
ACM SIGMETRICS Performance Evaluation Review
DOI:
10.1145/1530873.1530882
Date:
March, 2009
File:
PDF, 271 KB
english, 2009