Original language | English |
---|---|
Title of host publication | Proc. 9th International Conference on Quantitative Evaluation of SysTems (QEST'12) |
DOIs | |
Publication status | Published - 2012 |
The PRISM benchmark suite
M. Kwiatkowsa, G. Norman, D. Parker
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution