![](/img/cover-not-exists.png)
An efficient statistical model checker for nondeterminism and rare events
Budde, Carlos E., DâArgenio, Pedro R., Hartmanns, Arnd, Sedwards, SeanJournal:
International Journal on Software Tools for Technology Transfer
DOI:
10.1007/s10009-020-00563-2
Date:
May, 2020
File:
PDF, 1.06 MB
2020