
[IEEE 2008 Fifth International Conference on Quantitative Evaluation of Systems - St Malo, France (2008.09.14-2008.09.17)] 2008 Fifth International Conference on Quantitative Evaluation of Systems - Reduction Techniques for Model Checking Markov Decision Processes
Ciesinski, Frank, Baier, Christel, Größer, Marcus, Klein, JoachimAnnée:
2008
Langue:
english
DOI:
10.1109/QEST.2008.45
Fichier:
PDF, 292 KB
english, 2008