![](/img/cover-not-exists.png)
[IEEE 2012 Ninth International Conference on Quantitative Evaluation of Systems (QEST) - London, United Kingdom (2012.09.17-2012.09.20)] 2012 Ninth International Conference on Quantitative Evaluation of Systems - The PRISM Benchmark Suite
Kwiatkowsa, Marta, Norman, Gethin, Parker, DavidYear:
2012
Language:
english
DOI:
10.1109/QEST.2012.14
File:
PDF, 101 KB
english, 2012