A
Menu
May 28, 2020 article Open access

An efficient statistical model checker for nondeterminism and rare events

International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-020-00563-2 Full text (OA) OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 4 stored of 42

4 results

References 0