Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Friedrich Gretz  [Clear All Filters]
2013
F. Gretz, J. - P. Katoen, and A. McIver, “Prinsys - On a Quest for Probabilistic Loop Invariants”, in Quantitative Evaluation of Systems, QEST 2013, 2013, vol. 8054, p. 193-208.