Publications
Filters: Author is Peter Niebert [Clear All Filters]
, “Partial Order Reduction on Concurrent Probabilistic Programs”, in 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004, pp. 240-249.
paper-28.pdf (884.87 KB)
paper-28.pdf (884.87 KB)