News
1st International Conference on Quantitative Evaluation of Systems...
www.qest.org
1st Conference on Quantitative Evaluation of Systems (QEST) Guido Juckeland, Michael Kluge, Wolfgang E. Nagel, Stefan Pflüger. PRISM 2.0: A Tool for Probabilistic Model ...
sorted by relevance / date