Filters: Author is Peter van Rossum [Clear All Filters]
“Significant Diagnostic Counterexamples in Probabilistic Model Checking”, in Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, 2008, vol. LNCS 5394, pp. 129-148. paper-19.pdf (363.58 KB)
,