![](/img/cover-not-exists.png)
[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Model Checking Multivariate State Rewards
Nielsen, Bo Friis, Nielson, Flemming, Nielson, Hanne RiisYear:
2010
Language:
english
DOI:
10.1109/qest.2010.10
File:
PDF, 349 KB
english, 2010