![](/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 - Static Partial Order Reduction for Probabilistic Concurrent Systems
Fern'ndez-Diaz, Alvaro, Baier, Christel, Benac-Earle, Clara, Fredlund, Lars-AkeYear:
2012
Language:
english
DOI:
10.1109/qest.2012.22
File:
PDF, 250 KB
english, 2012