A Aralex Aachen research explorer

January 19, 2006 article

Numerical vs. statistical probabilistic model checking

International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-005-0187-8 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 210

On Correctness, Precision, and Performance in Quantitative Verification
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

39

citations

1 result

References 0